Remove extra word in rustc_mir
docs#84661
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 29, 2021
pierwill:patch-1
Merged
Remove extra word in `rustc_mir` docs#84661bors merged 1 commit intorust-lang:masterfrom pierwill:patch-1
bors merged 1 commit intorust-lang:masterfrom
pierwill:patch-1