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

Thanks!

Just a note here - you don’t need permission to merge doc changes.

It changes a script that builds the doc, so I wasn't sure if it counted as code or doc... J-L