From efa2ded2249ed53ac8b96d3a70cf5e8329d53a45 Mon Sep 17 00:00:00 2001
From: larsk21 <57503246+larsk21@users.noreply.github.com>
Date: Fri, 10 Dec 2021 17:35:27 +0100
Subject: [PATCH] chore: bump server version to 0.1.1

---
 src/Lean/Server/Watchdog.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Server/Watchdog.lean b/src/Lean/Server/Watchdog.lean
index f2aa044e10..2b9cb98407 100644
--- a/src/Lean/Server/Watchdog.lean
+++ b/src/Lean/Server/Watchdog.lean
@@ -591,7 +591,7 @@ def initAndRunWatchdog (args : List String) (i o e : FS.Stream) : IO Unit := do
       capabilities := mkLeanServerCapabilities
       serverInfo?  := some {
         name     := "Lean 4 Server"
-        version? := "0.1"
+        version? := "0.1.1"
       }
       : InitializeResult
     }