Skip to content

Correct the bug report for cargo clippy --fix#11882

Merged
bors merged 3 commits intorust-lang:masterfrom Rustin170506:rustin-patch-clippy-fixApr 14, 2023

Commits

Commits on Apr 14, 2023