|
Boost : |
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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk