Skip to content

Misc clippy fixes#193

Merged
bors[bot] merged 6 commits intoAmanieu:masterfrom
faern:misc-clippy-fixes
Nov 24, 2019
Merged

Misc clippy fixes#193
bors[bot] merged 6 commits intoAmanieu:masterfrom
faern:misc-clippy-fixes

Commits

Commits on Nov 24, 2019