Skip to content

Clippy-suggested code improvements.#1247

Merged
partim merged 1 commit intomainfrom clippy-thingsJan 23, 2025

Commits

Commits on Jan 23, 2025