Skip to content

Conversation

bicycle1885
Copy link
Contributor

This is required by the automatic merging guidelines.

@CarloLucibello CarloLucibello merged commit e5d9fdd into JuliaGraphs:master Nov 8, 2023
@CarloLucibello
Copy link
Member

Thanks!

@bicycle1885 bicycle1885 deleted the patch-1 branch November 8, 2023 21:22
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.

2 participants