Boost logo

Boost :

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

Please decide what to do with: (I can't tell if this is defunct?) (do we want this in the
superproject, or a submodule called boostorg/docker, or not at all?)



Boost list run by bdawes at, gregod at, cpdaniel at, john at