Skip to content

Conversation

@Therzok
Copy link
Contributor

@Therzok Therzok commented Mar 27, 2022

Was going through the documentation itself and found this typo just waiting to be fixed

Was going through the documentation itself and found this typo just waiting to be fixed
@lnicola
Copy link
Member

lnicola commented Mar 27, 2022

Thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Mar 27, 2022

@bors bors bot merged commit 837901a into rust-lang:master Mar 27, 2022
@Therzok Therzok deleted the patch-1 branch March 28, 2022 11:29
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