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
rustc_mir docs#84661bors merged 1 commit intorust-lang:masterfrom
pierwill:patch-1