Skip to content

Conversation

regexident
Copy link
Contributor

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 25, 2025
@davidbarsky davidbarsky added this pull request to the merge queue Jun 25, 2025
Merged via the queue into rust-lang:master with commit 317542c Jun 25, 2025
14 checks passed
@regexident regexident deleted the cleanup-progress-messages branch June 25, 2025 18:30
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.

3 participants