Upgrade to Metals v0.5.1 (#102)

Upgrade to Metals v0.5.1
scalameta · Apr 27, 2019 · d35a44f · d35a44f
2 parents 650e7c4 + 9214b3b
commit d35a44f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -56,7 +56,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.5.0",
+          "default": "0.5.1",
           "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": {