29 Jul
2026
29 Jul
'26
10:57 a.m.
El 29/07/2026 a las 12:27, Arnaud Becheler escribió:
Hi, I'm asking for permission to merge this PR to Boost.Graph master>
https://github.com/boostorg/graph/pull/544 <https://github.com/boostorg/graph/ pull/544>
This PR brings documentation fixes that work on develop to the master branch.
Thank you, Arnaud
Go ahead, documentation changes are not critical on this post-beta phase. Best, Ion