17 Nov
2017
17 Nov
'17
7:25 p.m.
On 17 November 2017 at 16:02, Stefan Seefeld via Boost
So just for avoidance of doubt: at some point in the near future someone will send out a note to the list that the `master` branch is open for bug fixes, at which point this can be merged. Correct ?
Yes, once the beta is out, master will be open fixes. Although you can merge this change now if you want, I'll include it if there's a second release candidate for the beta, otherwise it will be picked up when the commit bot is restarted on master.