6 Sep
2018
6 Sep
'18
7:52 a.m.
On 09/06/18 08:17, Antony Polukhin via Boost wrote:
On Mon, Aug 27, 2018, 09:54 Antony Polukhin
wrote: 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.
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).
Done, sorry for the delay.