31 Jul
2020
31 Jul
'20
1:25 p.m.
I'd like to merge fix for another missing include
https://github.com/boostorg/variant/commit/5e989572aea2c2d39c1268acb29558431...
On Thu, Jul 16, 2020, 08:37 Marshall Clow via Boost
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.
-- The release managers
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost