bump gameserver

hhu-adam · Feb 23, 2024 · 9452585 · 9452585
1 parent b412213
commit 9452585
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "3b660c518505b8f677224e3e36d1940d20ccb4bc",
+   "rev": "d689c7ec865dfcd804b478ee526e9cd06cff0c22",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.5.0",