Code

chore: switch back to clang 8#48

Code

Closed

Kha wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom Kha:i-prefer-known-compiler-bugsKha/lean4:i-prefer-known-compiler-bugsCopy head branch name to clipboard

+3-3

Commits

Commits on Oct 28, 2019

• chore: switch back to clang 8

  Show description for 7f03928
  Kha

  committed
  7f03928

  Copy full SHA for 7f03928