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

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. Thanks, Ruben.