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 clipboardAug 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