6 Sep
2018
6 Sep
'18
5:17 a.m.
Firm reminder that the PR https://github.com/boostorg/boost/pull/190
should be rebased on top of the boostorg/boost for the successful CI run
(and merge).
On Mon, Aug 27, 2018, 09:54 Antony Polukhin
Looks like all the issues in submodules were fixed and the PR https://github.com/boostorg/boost/pull/190 now can be merged.
Restarting the CI before the merge should prove that everything is fine.
The sooner the PR is merged the more time for testing we'll have.