Clippy fixes #45

Merged

muellerr merged 3 commits from clippy-fixes into main 2023-06-25 22:50:43 +02:00

Conversation 0 Commits 3 Files Changed 2 +7 -1

3 Commits

Author	SHA1	Message	Date
Robin Mueller	993c5546e4	doc correction	2023-05-14 16:09:09 +02:00
Robin Mueller	541311d15d	more clippy fixes	2023-05-14 16:08:12 +02:00
Robin Mueller	9b63ea3585	small clippy fix	2023-05-14 16:03:41 +02:00