Skip to content

Conversation

@pvdrz
Copy link
Contributor

@pvdrz pvdrz commented Dec 6, 2022

Fixes #2360

@pvdrz pvdrz requested a review from emilio December 6, 2022 20:01
Copy link
Contributor

@emilio emilio left a comment

Choose a reason for hiding this comment

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

Please squash before landing. Thanks!

@emilio emilio merged commit 8582fb3 into rust-lang:master Dec 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants