Skip to content

Conversation

@samueltardieu
Copy link
Member

@samueltardieu samueltardieu commented Sep 14, 2025

Noticed while working on #15673.

changelog: none

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

rustbot commented Sep 14, 2025

r? @dswij

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

@dswij dswij added this pull request to the merge queue Sep 14, 2025
Merged via the queue into rust-lang:master with commit 1810347 Sep 14, 2025
8 of 10 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Sep 14, 2025
@samueltardieu samueltardieu deleted the cleanup/never-loop branch September 14, 2025 09:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants