Subject: [boost] Please merge into boostorg superproject
From: James E. King III (jking_at_[hidden])
Date: 2018-08-11 00:41:38
Please merge into boost superproject - these have passed CI and have been
reviewed:
https://github.com/boostorg/boost/pull/186
https://github.com/boostorg/boost/pull/181
Please decide what to do with:
https://github.com/boostorg/boost/pull/39 (I can't tell if this is defunct?)
https://github.com/boostorg/boost/pull/184 (do we want this in the
superproject, or a submodule called boostorg/docker, or not at all?)
Thanks,
Jim