From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2024-12-02 07:51:26
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