Merge pull request #5607 from dotty-staging/vscode-dotty-0.1.12

vscode-dotty: Release 0.1.12

Author: smarter

project/Build.scala

@@ -1032,7 +1032,7 @@ object Build {
     settings(commonSettings).
     settings(
       EclipseKeys.skipProject := true,
-      version := "0.1.12-snapshot", // Keep in sync with package.json
+      version := "0.1.13-snapshot", // Keep in sync with package.json
       autoScalaLibrary := false,
       publishArtifact := false,
       includeFilter in unmanagedSources := NothingFilter | "*.ts" | "**.json",

vscode-dotty/package-lock.json

@@ -2,7 +2,7 @@
   "name": "dotty",
   "displayName": "Dotty Language Server",
   "description": "IDE integration for Dotty, the experimental Scala compiler",
-  "version": "0.1.12-snapshot",
+  "version": "0.1.13-snapshot",
   "license": "BSD-3-Clause",
   "publisher": "lampepfl",
   "repository": {