Skip to content

Conversation

@samueltardieu
Copy link
Member

Related to this Zulip thread.

@notriddle Would you want that?

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Jun 26, 2025

r? @flip1995

rustbot has assigned @flip1995.
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

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

Oh that's a nice idea and thanks for wanting to keeping an eye on that @notriddle

r=me if they approve.

@notriddle
Copy link
Contributor

Yes, that sounds perfect.

@flip1995 flip1995 added this pull request to the merge queue Jun 26, 2025
Merged via the queue into rust-lang:master with commit cd15aeb Jun 26, 2025
11 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.

4 participants