4 Jul
2018
4 Jul
'18
7:48 p.m.
On Wed, Jul 4, 2018 at 10:14 AM, James E. King III via Boost
There are 12 PRs for updating the documentation (they are going to have merge conflicts)... who is managing that for this release cycle?
Typically the first person to bring up the subject on the mailing list becomes responsible for merging all the individual pull requests into one new pull request with the conflicts resolved. :) :) :)