Skip to content

clippy fixes#8189

Merged
bors merged 1 commit intorust-lang:masterfrom matthiaskrgr:clippy_v12May 4, 2020

Commits

Commits on Apr 30, 2020