Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Feb 12, 2025

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 12, 2025
@Veykril Veykril enabled auto-merge February 12, 2025 14:16
@Veykril Veykril disabled auto-merge February 12, 2025 14:19
@Veykril Veykril enabled auto-merge February 12, 2025 15:20
@Veykril Veykril added this pull request to the merge queue Feb 12, 2025
Merged via the queue into rust-lang:master with commit 26a5e24 Feb 12, 2025
9 checks passed
@Veykril Veykril deleted the push-ptnykrwnwwlu branch February 12, 2025 16:06
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