issue #15669: Connected components are open, under suitab...

Stream: triage

[Random Issue Bot]

Today I chose issue 15669 for discussion!

Connected components are open, under suitable hypotheses
Created by @Heather Macbeth (@hrmacbeth) on 2022-07-24
Labels: good-first-project

Is this issue still relevant? Any recent updates? Anyone making progress?

[Anatole Dedecker]

Oh I think I did that a while back in #15965

[Anatole Dedecker]

I'll close the issue