Skip to content

Make clippy happy#10426

Merged
bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-clippyFeb 26, 2022

Commits

Commits on Feb 26, 2022