Skip to content

Nits: Remove unneeded mut and loop#8334

Merged
bors merged 1 commit intorust-lang:masterfrom
Eh2406:small-nits
Jun 5, 2020
Merged

Nits: Remove unneeded mut and loop#8334
bors merged 1 commit intorust-lang:masterfrom
Eh2406:small-nits

Commits

Commits on Jun 5, 2020