On Nov 19, 2023, at 5:22 PM, Klemens Morgenstern via Boost
wrote: I would like to seek permission to merge these two commits:
The second commit is doc-only, as far as I can see. No permission needed. The first one is more involved. If you’re happy with it, then go ahead. — Marshall
On Fri, Nov 17, 2023 at 12:49 AM Marshall Clow via Boost
wrote: The master branch is now open for bug fixes and documentation changes. Other changes by release manager permission, as described in https://github.com/boostorg/wiki/wiki/Releases%3A-Beta-Merge-Policy
The next deadline: On December 6th, master closes for all changes.
As always, the calendar is at https://www.boost.org/development/
— Marshall
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost