27 Aug
2018
27 Aug
'18
6:54 a.m.
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.