From 7924dc6e69b49ccacc475bc1c242990587e52a86 Mon Sep 17 00:00:00 2001
From: Katarzyna Marek <kasia@marek.net>
Date: Fri, 21 Apr 2023 16:28:52 +0200
Subject: [PATCH] chore: changes for metals release 0.11.12

---
 packages/metals-vscode/README.md    | 2 +-
 packages/metals-vscode/package.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/metals-vscode/README.md b/packages/metals-vscode/README.md
index 58ab150e3..1ebd8369f 100644
--- a/packages/metals-vscode/README.md
+++ b/packages/metals-vscode/README.md
@@ -44,7 +44,7 @@ every PR is tested on Ubuntu, Windows and MacOS.
 
 - **Scala 2.11**: 2.11.12
 
-- **Scala 3**: 3.3.0-RC3, 3.3.0-RC2, 3.2.2, 3.2.1, 3.2.0, 3.1.3, 3.1.2, 3.1.1,
+- **Scala 3**: 3.3.0-RC4, 3.3.0-RC3, 3.2.2, 3.2.1, 3.2.0, 3.1.3, 3.1.2, 3.1.1,
   3.1.0, 3.0.2
 
 Note that 2.11.x support is deprecated and it will be removed in future
diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
index 180a3e235..017953f80 100644
--- a/packages/metals-vscode/package.json
+++ b/packages/metals-vscode/package.json
@@ -220,7 +220,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.11.11",
+          "default": "0.11.12",
           "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": {