Skip to content

Conversation

tgross35
Copy link
Contributor

@tgross35 tgross35 commented Sep 3, 2024

Saw this linked somewhere recently and noticed another minor typo. Fix it here.

Saw this linked somewhere recently and noticed another minor typo. Fix it here.
Copy link
Contributor

@ehuss ehuss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@ehuss ehuss merged commit 71d3595 into rust-lang:master Sep 3, 2024
3 checks passed
@tgross35 tgross35 deleted the tgross35-patch-1 branch September 3, 2024 18:33
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