Skip to content

Changed usages of mir in librustc::mir and librustc_mir to body#61506

Merged
bors merged 1 commit intorust-lang:masterfrom
imbrem:mir_body_renaming
Jun 10, 2019
Merged

Changed usages of `mir` in librustc::mir and librustc_mir to `body`#61506
bors merged 1 commit intorust-lang:masterfrom
imbrem:mir_body_renaming

Commits

Commits on Jun 9, 2019