Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jun 13, 2025

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 13, 2025
@Veykril Veykril enabled auto-merge June 13, 2025 11:30
@Veykril Veykril added this pull request to the merge queue Jun 13, 2025
Merged via the queue into rust-lang:master with commit c0258d0 Jun 13, 2025
14 checks passed
@Veykril Veykril deleted the push-zkvrlrotmuzr branch June 13, 2025 11:53
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