Re: [boost] [release] Master branch is now open for bug fixes

El 01/12/2024 a las 19:18, Ruben Perez via Boost escribió:

I'd like to merge these two commits in Boost.MySQL into master: https://github.com/boostorg/mysql/compare/master...develop/

They contain doc changes and a CI fix. While I think I don't need permission to do this, the doc changes aren't small, so I thought I'd ask first. CIs are fine in develop.

Hi, You don't need permission for that, but please make sure master documentation still builds fine after the merge. Best, Ion