Merge pull request #394 from ckipp01/newMetalsVersion

Bump default server version to 0.10.2
scalameta · Apr 21, 2021 · 2889481 · 2889481
2 parents 71e160c + e75966f
commit 2889481
Show file tree

Hide file tree

Showing 2 changed files with 823 additions and 823 deletions.
diff --git a/package.json b/package.json
@@ -73,7 +73,7 @@
         },
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.10.1",
+          "default": "0.10.2",
           "markdownDescription": "The version of the Metals server artifact. Requires reloading the window.\n\n**Change only if you know what you're doing**"
         },
         "metals.serverProperties": {