Skip to content

Conversation

@SOF3
Copy link
Contributor

@SOF3 SOF3 commented Apr 5, 2025

equivalent to rust-lang/rust#139405, not sure which one is the source of truth

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 5, 2025
Copy link
Member

@lnicola lnicola left a comment

Choose a reason for hiding this comment

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

Thanks!

@lnicola lnicola added this pull request to the merge queue Apr 5, 2025
Merged via the queue into rust-lang:master with commit 94c3384 Apr 5, 2025
12 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: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants