Skip to content

Some minor clippy fixes. - #7484

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

bors merged 1 commit into
rust-lang:masterfrom
ehuss:clippy-fixes

Commits

  1. Commits on Oct 4, 2019