Merge pull request #5943 from dotty-staging/release/vscode-dotty-0.1.13

Release vscode-dotty 0.1.13

Author: smarter

project/Build.scala

@@ -38,8 +38,8 @@ object Build {
   // This should be the latest published releases.
   // TODO: Have the vscode extension fetch these numbers from the Internet
   // instead of hardcoding them ?
-  val publishedDottyVersion = "0.11.0-RC1"
-  val publishedSbtDottyVersion = "0.2.6"
+  val publishedDottyVersion = "0.13.0-RC1"
+  val publishedSbtDottyVersion = "0.3.0"
 
 
   val dottyOrganization = "ch.epfl.lamp"
@@ -849,7 +849,7 @@ object Build {
     settings(commonSettings).
     settings(
       EclipseKeys.skipProject := true,
-      version := "0.1.13-snapshot", // Keep in sync with package.json
+      version := "0.1.14-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.13-snapshot",
+  "version": "0.1.14-snapshot",
   "license": "BSD-3-Clause",
   "publisher": "lampepfl",
   "repository": {
@@ -123,13 +123,13 @@
     "vscode-jsonrpc": "4.0.0",
     "vscode-languageclient": "^5.2.1",
     "vscode-languageserver": "^5.2.1",
-    "ws": "^6.1.3"
+    "ws": "^6.1.4"
   },
   "devDependencies": {
     "@types/archiver": "^2.1.2",
     "@types/compare-versions": "^3.0.0",
-    "@types/mocha": "^5.2.5",
-    "@types/node": "^10.12.24",
+    "@types/mocha": "^5.2.6",
+    "@types/node": "^10.12.26",
     "@types/request": "^2.48.1",
     "@types/ws": "^6.0.1",
     "typescript": "^3.2.4",