From 5dac000f8c99d6cf0b7bb0f0fb25d6225c53b269 Mon Sep 17 00:00:00 2001 From: Tomasz Godzik Date: Fri, 15 Nov 2024 16:22:08 +0100 Subject: [PATCH] chore: Update Metals to 1.4.1 --- packages/metals-vscode/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json index fb8ec957..1ccd2fcd 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.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": {