Skip to content

Fix graph iteration#45

Merged
zyzzyxdonta merged 1 commit intomainfrom
fix-graph-iteration
Dec 12, 2025
Merged

Fix graph iteration#45
zyzzyxdonta merged 1 commit intomainfrom
fix-graph-iteration

Conversation

@zyzzyxdonta
Copy link
Copy Markdown
Collaborator

Don't modify graph while iterating over it

@zyzzyxdonta zyzzyxdonta merged commit 15f4e6c into main Dec 12, 2025
2 checks passed
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