Skip to content

Drop unneeded mut - #78145

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

bors merged 1 commit into
rust-lang:masterfrom
LingMan:ast_pretty_mut

Drop unneeded `mut`

13f0f49
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs