diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json index 20960297..56bdfea1 100644 --- a/packages/metals-vscode/package.json +++ b/packages/metals-vscode/package.json @@ -221,7 +221,7 @@ "properties": { "metals.serverVersion": { "type": "string", - "default": "1.4.1", + "default": "1.4.2", "markdownDescription": "The version of the Metals server artifact. Requires reloading the window. \n\n**VS Code extension version is guaranteed to work only with the default version, change if you know what you're doing**" }, "metals.serverProperties": { @@ -401,6 +401,7 @@ "2.12.17", "2.12.16", "2.11.12", + "3.6.2", "3.5.2", "3.5.1", "3.5.0",