Merge pull request #486 from tgodzik/update-metals

Revert to previous Metals server version
scalameta · Jan 17, 2021 · 42afcce · 42afcce
2 parents f930597 + 00184e5
commit 42afcce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -101,7 +101,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.9.9",
+          "default": "0.9.8",
           "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": {