|
Boost : |
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2020-07-25 11:54:05
On 2020-07-22 21:15, Andrey Semashev wrote:
> On 2020-07-21 12:18, Andrey Semashev wrote:
>> On 2020-07-16 08:36, Marshall Clow 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/wiki/wiki/Releases%3A-Beta-Merge-Policy>
>>>
>>> Reminder: The master branch closes for the release on August 5th.
>>
>> I'd like to merge to master the following commit:
>>
>> https://github.com/boostorg/core/commit/dcc04c55089b8a74c5a37e3d25694fca697ffb9f
>>
>> It is a workaround for boost::uncaught_exceptions on older versions of
>> Mac OS and iOS. CI tests have passed.
>
> Ping?
Ping again? Can I merge this?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk