From 6a137f3e3a35879093d2113014716af38ec5e14e Mon Sep 17 00:00:00 2001
From: ckipp01 <ckipp@pm.me>
Date: Wed, 19 Aug 2020 18:47:25 +0200
Subject: [PATCH] Bump default version to 0.9.3

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

diff --git a/package.json b/package.json
index 0ba5341..622309c 100644
--- a/package.json
+++ b/package.json
@@ -73,7 +73,7 @@
         },
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.9.2",
+          "default": "0.9.3",
           "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": {