Skip to content

Drop unneeded mut#78145

Merged
bors merged 1 commit intorust-lang:masterfrom
LingMan:ast_pretty_mut
Oct 20, 2020
Merged

Drop unneeded `mut`#78145
bors merged 1 commit intorust-lang:masterfrom
LingMan:ast_pretty_mut

Commits

Commits on Oct 20, 2020