Skip to content

chore: remove redundant word in comment - #875

Closed
hustrust wants to merge 1 commit into
petgraph:masterfrom
hustrust:master
Closed

hustrust wants to merge 1 commit into
petgraph:masterfrom
hustrust:master

Conversation

@hustrust

@hustrust hustrust commented Sep 2, 2025

Copy link
Copy Markdown
Contributor

remove redundant word in comment

@starovoid starovoid added this to the 0.8.3 milestone Sep 3, 2025
@RaoulLuque

Copy link
Copy Markdown
Member

Thanks for the PR. Good catch ! We have a PR that unifies small typo fixes, see #856. I added your commit there (i.e. you are still credited as the author :) ). Thus I'll close this PR in favor of the other one 🌞

@RaoulLuque RaoulLuque closed this Sep 3, 2025
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.

3 participants