Skip to content

more clippy fixes#378

Merged
alexanderkjall merged 2 commits into
masterfrom
more-clippy-fixes
Apr 15, 2025
Merged

more clippy fixes#378
alexanderkjall merged 2 commits into
masterfrom
more-clippy-fixes

Conversation

@alexanderkjall
Copy link
Copy Markdown
Collaborator

No description provided.

@alexanderkjall alexanderkjall requested review from cortex and fnords April 5, 2025 11:17
@alexanderkjall alexanderkjall merged commit 92d57f3 into master Apr 15, 2025
6 checks passed
@alexanderkjall alexanderkjall deleted the more-clippy-fixes branch April 15, 2025 16:36
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.

2 participants