Skip to content

Conversation

paolobarbolini
Copy link
Contributor

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: waiting on a review label May 11, 2025
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 added this pull request to the merge queue May 12, 2025
Merged via the queue into rust-lang:master with commit d24c0ca May 12, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: waiting on a review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants