[boost] [release] 1.72.0 post-beta merges

21 Nov 2019


      The master branch is is now open for post-beta merges, but only as
described in the Post-Beta Merge Policy.

See https://github.com/boostorg/boost/wiki/Releases%3A-Beta-Merge-Policy

[boost] [release] 1.72.0 post-beta merges

Michael Caisse