vscode-dotty: Release 0.1.2

Author: smarter

project/Build.scala

@@ -877,7 +877,7 @@ object Build {
     settings(
       EclipseKeys.skipProject := true,
 
-      version := "0.1.0", // Keep in sync with package.json
+      version := "0.1.2", // Keep in sync with package.json
 
       autoScalaLibrary := false,
       publishArtifact := false,

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.1",
+  "version": "0.1.2",
   "license": "BSD-3-Clause",
   "publisher": "lampepfl",
   "repository": {