From 852a65f054f2536c8a48a2e49fc2e196f6f99381 Mon Sep 17 00:00:00 2001
From: Tomasz Godzik <tomek.godzik@gmail.com>
Date: Mon, 2 Sep 2019 16:21:25 +0200
Subject: [PATCH] Update default Metals version to 0.7.2

---
 package.json     | 2 +-
 readme.md        | 6 +++---
 src/extension.ts | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/package.json b/package.json
index 88895ff52..449bcdc0f 100644
--- a/package.json
+++ b/package.json
@@ -84,7 +84,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.7.0",
+          "default": "0.7.2",
           "markdownDescription": "The version of the Metals server artifact. Requires reloading the window.\n\n**Change only if you know what you're doing**"
         },
         "metals.serverProperties": {
diff --git a/readme.md b/readme.md
index c49575348..52cfc9ff8 100644
--- a/readme.md
+++ b/readme.md
@@ -33,9 +33,9 @@ or 11 installation.
 on Ubuntu+Windows.
 
 **Scala 2.13, 2.12 and 2.11**. Metals supports these Scala versions 2.13.0,
-2.12.8, 2.12.7 and 2.11.12. Note that 2.11.x support is deprecated and it will
-be removed in future releases. It's recommended to upgrade to Scala 2.12 or
-Scala 2.13
+2.12.9, 2.12.8, 2.12.7 and 2.11.12. Note that 2.11.x support is deprecated and
+it will be removed in future releases. It's recommended to upgrade to Scala 2.12
+or Scala 2.13
 
 ## Installation
 
diff --git a/src/extension.ts b/src/extension.ts
index fa79070c0..0df5e3f54 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -312,7 +312,7 @@ function launchMetals(
 
     let channelOpen = false;
     const clientCommands: {
-      [k in keyof typeof ClientCommands]: (...args: unknown[]) => unknown
+      [k in keyof typeof ClientCommands]: (...args: unknown[]) => unknown;
     } = {
       focusDiagnostics: () =>
         commands.executeCommand("workbench.action.problems.focus"),