update GameServer

leanprover-community · Oct 24, 2023 · 6f7f997 · 6f7f997
1 parent 1326c86
commit 6f7f997
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",