Skip to content

Conversation

Muscraft
Copy link
Member

issue_9 was added in #34, and over time, it has drifted from its original intent. This PR tries to make it better match that intent.

@Muscraft Muscraft merged commit 7d5b7c1 into rust-lang:master Jul 31, 2025
15 checks passed
@Muscraft Muscraft deleted the cleanup-old-test branch July 31, 2025 16:22
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