Skip to content

Conversation

tshepang
Copy link
Member

@tshepang tshepang commented Apr 14, 2025

@rustbot
Copy link
Collaborator

rustbot commented Apr 14, 2025

r? @jackh726

rustbot has assigned @jackh726.
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 Apr 14, 2025
@Urgau Urgau enabled auto-merge April 15, 2025 18:30
@Urgau Urgau merged commit 08a7fe8 into rust-lang:master Apr 15, 2025
1 check passed
@tshepang tshepang deleted the patch-3 branch April 15, 2025 18:58
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