10 Sep
2025
10 Sep
'25
3:47 p.m.
On Wed, Sep 10, 2025 at 8:24 AM Gennaro Prota via Boost < boost@lists.boost.org> wrote:
Comments still very welcome :-). BTW, would it be OK to merge develop into master at this point?
I don't think we are in the middle of a release cycle? You can always check the calendar: https://www.boost.org/calendar/ Thanks