Skip to content

fix some clippy warnings#7808

Merged
bors merged 1 commit intorust-lang:masterfrom matthiaskrgr:clippy_v10Jan 18, 2020

Commits

Commits on Jan 17, 2020