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

From: Ruben Perez (rubenperez038_at_[hidden])
Date: 2024-12-01 18:18:58

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.