25 Jul
2020
25 Jul
'20
2:11 p.m.
On Jul 25, 2020, at 4:54 AM, Andrey Semashev via Boost
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/dcc04c55089b8a74c5a37e3d25694fca697f... 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?
Go ahead. — Marshall