Skip to content

Fix clippy warning and deny them in the future#820

Merged
arvidn merged 2 commits intomainfrom clippy-fixDec 12, 2024

Commits

Commits on Dec 12, 2024