Skip to content

chore: apply clippy lints#835

Merged
Martin1887 merged 1 commit intomasterfrom
apply-clippy
Feb 1, 2024
Merged

chore: apply clippy lints#835
Martin1887 merged 1 commit intomasterfrom
apply-clippy

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.

2 participants