From 080b1f9e9fc8ad9fcabd8dacfe28e321036e0cd5 Mon Sep 17 00:00:00 2001
From: Tomasz Godzik <tgodzik@virtuslab.com>
Date: Mon, 16 Dec 2024 15:12:38 +0100
Subject: [PATCH] chore: Set metals version to 1.4.2

---
 packages/metals-vscode/package.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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",