From: Raffi Enficiaud (raffi.enficiaud_at_[hidden])
Date: 2019-07-29 20:51:50
On 29.07.19 19:26, Michael Caisse via Boost wrote:
> On 7/27/19 04:48, Raffi Enficiaud via Boost wrote:
>> On 25.07.19 01:14, Michael Caisse via Boost wrote:
>>> 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>
>> I would like to merge those changes to master:
>> Contains warnings fixes and one bug fix.
> I don't see that this has been merged and cycled in develop. I might
> just be missing it. Can you confirm with a link?
Those are not in develop. If you tell me the change is too big I can
adapt and split in smaller commits (before merging to develop it would
then be easier).
In particular there are new warnings for headers deprecated for several
years which I can remove from the changes.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk