Skip to content

Conversation

Muscraft
Copy link
Member

No description provided.

@Muscraft Muscraft merged commit 5b0e69e into rust-lang:master Aug 28, 2025
16 of 17 checks passed
@Muscraft Muscraft deleted the version-0.12.0 branch August 28, 2025 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant