From 6042c5dd06a0d0e869fa833f48648c2b6340a4a7 Mon Sep 17 00:00:00 2001
From: tgodzik <tomek.godzik@gmail.com>
Date: Thu, 19 Mar 2020 13:19:36 +0100
Subject: [PATCH] Update default Metals version to 0.8.2

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 738d0e937..560111459 100644
--- a/package.json
+++ b/package.json
@@ -86,7 +86,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.8.1",
+          "default": "0.8.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": {