Skip to content

Conversation

@Martin1887
Copy link
Collaborator

Fixes: #573

@Martin1887
Copy link
Collaborator Author

Minor clippy fixes, this would probably not need approval but in case, @notriddle. Thanks!

@Martin1887 Martin1887 merged commit edb5995 into master Feb 1, 2024
@Martin1887 Martin1887 deleted the apply-clippy branch February 1, 2024 09:55
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.

3 participants