Skip to content

clippy fixes#8189

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

clippy fixes#8189
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:clippy_v12

Commits

Commits on Apr 30, 2020