Merge pull request #241 from tgodzik/update-metals-0.8.2

Update default Metals version to 0.8.2
scalameta · Mar 19, 2020 · 80d1fc7 · 80d1fc7
2 parents a7267ef + 6042c5d
commit 80d1fc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -86,7 +86,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.8.1",
+          "default": "0.8.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": {