Skip to content

Conversation

ChrisDenton
Copy link
Member

This is now done in rust-lang/rust repo rust-lang/rust#122268

@rustbot
Copy link
Collaborator

rustbot commented Apr 14, 2024

r? @JohnTitor

rustbot has assigned @JohnTitor.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

This is now done in std
Copy link
Member

@JohnTitor JohnTitor left a comment

Choose a reason for hiding this comment

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

Thanks!

@JohnTitor JohnTitor enabled auto-merge April 16, 2024 08:55
@JohnTitor JohnTitor added this pull request to the merge queue Apr 16, 2024
Merged via the queue into rust-lang:main with commit 12fda3e Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants