Skip to content

Fix clippy::never_loop lint#43

Merged
LukasKalbertodt merged 1 commit intoLukasKalbertodt:mainfrom waywardmonkeys:clippy-never_loopNov 2, 2024

Commits

Commits on Nov 1, 2024