Skip to content

Minor clippy fixes.#99

Merged
kaj merged 1 commit intomasterfrom
clippyfixes
Jan 7, 2021
Merged

Minor clippy fixes.#99
kaj merged 1 commit intomasterfrom
clippyfixes

Commits

Commits on Jan 7, 2021