[boost] Please merge into boostorg superproject

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