From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2019-07-03 19:35:43
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
> <boost_at_[hidden]> 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.