update GameServer

2023-10-24 17:54:16 +01:00
parent 1326c865b5
commit 6f7f99798e
1 changed files with 1 additions and 1 deletions
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
 [{"git":
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "subDir?": "server",
-    "rev": "b70ac78cf77d36b21e3e24a193dd6eb0895163e9",
+    "rev": "8e4c993bd7113d86452df98142e67529f19c24a9",
    "opts": {},
    "name": "GameServer",
    "inputRev?": "main",