5 Jul
2018
5 Jul
'18
1:33 a.m.
On Wed, Jul 4, 2018 at 3:48 PM Vinnie Falco via Boost
On Wed, Jul 4, 2018 at 10:14 AM, James E. King III via Boost
wrote: 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.
:) :) :)
I don't have appropriate privileges to boostorg/website to merge anything, so it won't happen that way. So sad. - Jim