Skip to content

Fix some clippy warnings.#7135

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:clippy-fixes
Jul 15, 2019
Merged

Fix some clippy warnings.#7135
bors merged 1 commit intorust-lang:masterfrom
ehuss:clippy-fixes

Commits

Commits on Jul 14, 2019