Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make handling of unconnected components more explicit #332

Merged
merged 3 commits into from
Apr 16, 2024

Conversation

17o2
Copy link
Collaborator

@17o2 17o2 commented Apr 16, 2024

Closes #328 . Documentation is updated to reflect the new behavior.

@17o2 17o2 force-pushed the feature/unconnected-components branch from 183e00f to 4ed1b2e Compare April 16, 2024 09:53
@17o2 17o2 force-pushed the feature/unconnected-components branch from 4ed1b2e to 2ac80f3 Compare April 16, 2024 11:19
@17o2 17o2 merged commit 2ac80f3 into dev Apr 16, 2024
4 checks passed
@17o2 17o2 deleted the feature/unconnected-components branch April 16, 2024 11:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant