Skip to content

Apply more clippy suggestions - #3503

Merged
rami3l merged 1 commit into
masterfrom
style/clippy
Oct 8, 2023
Merged

Apply more clippy suggestions#3503
rami3l merged 1 commit into
masterfrom
style/clippy

Conversation

@rami3l

Copy link
Copy Markdown
Member

Continuation of #3497.

@rami3l
rami3l requested a review from djcOctober 8, 2023 12:48
@rami3l
rami3l enabled auto-merge (rebase) October 8, 2023 12:50
djc
djc approved these changes Oct 8, 2023
@rami3l
rami3l merged commit 0040001 into masterOct 8, 2023
@rami3l
rami3l deleted the style/clippy branch October 8, 2023 16:10
@rami3lrami3l mentioned this pull request Jan 29, 2024
1 task
Sign up for freeto 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

@rami3l@djc