Skip to content

Conversation

@nemethf
Copy link
Contributor

@nemethf nemethf commented Feb 19, 2022

Commit 27c4be6 wasn't really complex, but I still managed to make a mistake there, which this PR fixes. Sorry.

@lnicola
Copy link
Member

lnicola commented Feb 19, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Feb 19, 2022

@bors bors bot merged commit 1d53f69 into rust-lang:master Feb 19, 2022
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