Skip to content

Conversation

@jieyouxu
Copy link
Member

@jieyouxu jieyouxu commented Nov 17, 2025

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

rustbot commented Nov 17, 2025

r? @Kobzol

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

@Kobzol Kobzol enabled auto-merge November 17, 2025 16:09
@Kobzol Kobzol merged commit dd8e9e6 into rust-lang:master Nov 17, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 17, 2025
@jieyouxu jieyouxu deleted the infra-announce-sync branch November 17, 2025 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants