|
Boost : |
Subject: [boost] Permission to merge into 1.67.0 (build fix)
From: James E. King, III (jking_at_[hidden])
Date: 2018-03-26 15:54:41
Requesting permission to merge into 1.67.0 (build fix) pending successful
CI completion of a pull request. Build script issue reported by a consumer
of Boost.Uuid:
https://github.com/boostorg/uuid/pull/62
Thanks,
Jim
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk