Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Apr 28, 2025

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 28, 2025
@Veykril Veykril enabled auto-merge April 28, 2025 15:18
@Veykril Veykril added this pull request to the merge queue Apr 28, 2025
Merged via the queue into rust-lang:master with commit f6dd41e Apr 28, 2025
14 checks passed
@Veykril Veykril deleted the push-wrmyowrzkxzz branch April 28, 2025 15:40
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.

2 participants