Code

Rename HAIR to THIR#818

Code

Merged

mark-i-m merged 2 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

JohnTitor:hair-cutJohnTitor/rustc-dev-guide:hair-cutCopy head branch name to clipboard

Aug 2, 2020

Commits

Commits on Aug 1, 2020

• Rename `HAIR` to `THIR`

  JohnTitor

  committed
  c4a6e50

  Copy full SHA for c4a6e50

Commits on Aug 2, 2020

• Mention `HAIR` to clarify

  JohnTitor

  committed
  19832d5

  Copy full SHA for 19832d5