Code

vscode-dotty: Release 0.1.12#5607

Code

Merged

smarter merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:vscode-dotty-0.1.12dotty-staging/dotty:vscode-dotty-0.1.12Copy head branch name to clipboard

Dec 13, 2018

Commits

Commits on Dec 13, 2018

• vscode-dotty: Release 0.1.12

  smarter

  committed
  b114ac3

  Copy full SHA for b114ac3

• vscode-dotty: Bump to 0.1.13-snapshot

  smarter

  committed
  dc5a3d4

  Copy full SHA for dc5a3d4