Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented May 15, 2025

Somehow I missed including this file in #2608.

@rustbot rustbot added the S-waiting-on-review Status: waiting on a review label May 15, 2025
@ehuss ehuss enabled auto-merge May 15, 2025 12:27
@ehuss ehuss added this pull request to the merge queue May 15, 2025
Merged via the queue into rust-lang:master with commit ce8d812 May 15, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: waiting on a review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants