Skip to content

Clippy fixes#6970

Merged
bors merged 2 commits intorust-lang:masterfrom
ehuss:clippy-fixes
May 20, 2019
Merged

Clippy fixes#6970
bors merged 2 commits intorust-lang:masterfrom
ehuss:clippy-fixes

Commits

Commits on May 20, 2019