Skip to content

Some minor clippy fixes.#7484

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:clippy-fixes
Oct 7, 2019
Merged

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

Commits

Commits on Oct 4, 2019