Merge pull request #343 from ckipp01/newVersion

Bump default metals version to 0.9.5.
scalameta · Nov 10, 2020 · 7928269 · 7928269
2 parents 5d18ed7 + ca8b68f
commit 7928269
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -73,7 +73,7 @@
         },
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.9.4",
+          "default": "0.9.5",
           "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": {