Merge pull request #1552 from tgodzik/metals-1.4.1

chore: Update Metals to 1.4.1
scalameta · Nov 15, 2024 · 3e7b91f · 3e7b91f
2 parents 4b87b58 + 5dac000
commit 3e7b91f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
@@ -221,7 +221,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "1.4.0",
+          "default": "1.4.1",
           "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": {