3 Jul
2019
3 Jul
'19
7:35 p.m.
On 7/3/19 6:48 PM, James E. King III wrote:
On Wed, Jul 3, 2019 at 11:26 AM Andrey Semashev via Boost
wrote: Doesn't the disjoint_sets git submodule need to be removed from the superproject?
It was removed from develop in https://github.com/boostorg/boost/pull/283
Strangely enough, it is still present in my .git/config, even after `git pull` and `git submodule update` in the Boost root.