Skip to content

Clippy-suggested code improvements.#80

Merged
partim merged 2 commits intomainfrom new-lintsDec 30, 2024

Commits

Commits on Dec 30, 2024