Skip to content

Make clippy happy#9736

Merged
bors merged 1 commit intorust-lang:masterfrom
0xPoe:rustin-patch-clippy
Jul 28, 2021
Merged

Make clippy happy#9736
bors merged 1 commit intorust-lang:masterfrom
0xPoe:rustin-patch-clippy

Commits

Commits on Jul 28, 2021