Code

Remove label-defs.#5141

Code

Merged

sjrd merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:remove-label-defsdotty-staging/dotty:remove-label-defsCopy head branch name to clipboard

Nov 8, 2018

Commits

Commits on Nov 6, 2018

• Remove one sneaky left-over WhileDo-like label-def.

  sjrd

  committed
  93f724f

  Copy full SHA for 93f724f

• Remove label-defs.

  Show description for 7da3b42
  sjrd

  committed
  7da3b42

  Copy full SHA for 7da3b42