fix clippy problem
25f5b736
sokra
marked this pull request as ready for review 3 years ago
sokra
requested a review
3 years ago
sokra
changed the title fix clippy problem fix build warning 3 years ago
alexkirsz
approved these changes
on 2022-12-20
sokra
merged
0596bbce
into main 3 years ago
sokra
deleted the sokra/clippy-fix branch 3 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub