Skip to content

Conversation

burrbull
Copy link
Member

No description provided.

@burrbull burrbull requested a review from a team as a code owner August 14, 2025 07:51
@burrbull burrbull added the no changelog no-changelog label Aug 14, 2025
@burrbull burrbull added this pull request to the merge queue Aug 14, 2025
Merged via the queue into master with commit 62eee7b Aug 14, 2025
60 checks passed
@burrbull burrbull deleted the clippy189 branch August 14, 2025 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog no-changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants