Re: disjoint_sets?

From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2019-10-27 21:59:51

Peter wrote:
> 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?

The relevant changes need to be merged from Graph develop to master,
before we can retire the disjoint_sets repository entirely.

John, any concerns about doing this now, before the 1.72 release progresses?

Glen