From 184ca3ddb0b8258953419366b21c57521765d7a4 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Sun, 18 Dec 2022 02:16:38 -0500
Subject: [PATCH] chore: bump server version

---
 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 f46cb068a0..fb472066c5 100644
--- a/src/Lean/Server/Watchdog.lean
+++ b/src/Lean/Server/Watchdog.lean
@@ -658,7 +658,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.1"
+        version? := "0.1.2"
       }
       : InitializeResult
     }