Skip to content

Remove extra word in rustc_mir docs#84661

Merged
bors merged 1 commit intorust-lang:masterfrom
pierwill:patch-1
Apr 29, 2021
Merged

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

Commits

Commits on Apr 28, 2021