Re: [release] 1.71.0 post-beta merges

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:
>>
>> https://github.com/boostorg/test/compare/master..e112b88bbc81016e4326e48c4181437485757c0d
>>
>> Contains warnings fixes and one bug fix.
>>
>> Thanks,
>> Raffi
> 
> 
> 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.

Thanks,
Raffi