Skip to content

Rename HAIR to THIR (Typed HIR).#74582

Merged
bors merged 1 commit intorust-lang:masterfrom Lezzz:rename-hairAug 1, 2020

Commits

Commits on Jul 31, 2020