From 9214b3b58d3fb2505ed71d7ea370a4cea2ace715 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=93lafur=20P=C3=A1ll=20Geirsson?= <olafurpg@gmail.com>
Date: Fri, 26 Apr 2019 23:50:51 +0200
Subject: [PATCH] Upgrade to Metals v0.5.1

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

diff --git a/package.json b/package.json
index fd797f2e4..1a20e696f 100644
--- a/package.json
+++ b/package.json
@@ -56,7 +56,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "0.5.0",
+          "default": "0.5.1",
           "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": {