fix some clippy warnings #2662
clippy
ae58fb17
sokra
requested a review
3 years ago
sokra
changed the title clippy fix some clippy warnings 3 years ago
sokra
added pr: automerge
kwonoj
approved these changes
on 2022-11-10
alexkirsz
approved these changes
on 2022-11-10
sokra
merged
c280a597
into main 3 years ago
sokra
deleted the cleanup/clippy branch 3 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub