Skip to content

Conversation

weihanglo
Copy link
Member

Extract from #15986

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

rustbot commented Sep 24, 2025

r? @ehuss

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

@epage epage enabled auto-merge September 24, 2025 13:22
@epage epage added this pull request to the merge queue Sep 24, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 24, 2025
@weihanglo
Copy link
Member Author

Requeue as the docker failure got fixed in #16010.

@weihanglo weihanglo added this pull request to the merge queue Sep 24, 2025
Merged via the queue into rust-lang:master with commit 02c8076 Sep 24, 2025
27 checks passed
@weihanglo weihanglo deleted the version-bump2 branch September 24, 2025 17:57
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 24, 2025
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.

4 participants