disjoint_sets?

From: Peter Dimov (pdimov_at_[hidden])
Date: 2019-10-25 19:08:13

At some point we removed the disjoint_sets module from the develop branch, 
but it's still on master. When are we going to remove it from master as 
well?