Update default Metals version to 0.7.2

scalameta · Sep 2, 2019 · 852a65f · 852a65f
1 parent dfde33c
commit 852a65f
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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"),