Skip to content

Some minor clippy fixes.#8804

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:clippy-fixes
Oct 23, 2020
Merged

Some minor clippy fixes.#8804
bors merged 1 commit intorust-lang:masterfrom
ehuss:clippy-fixes

Commits

Commits on Oct 22, 2020