diff --git a/lake-manifest.json b/lake-manifest.json
index 1e591d0..7ff1140 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -34,9 +34,9 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean4game.git",
     "subDir?": "server",
-    "rev": "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930",
+    "rev": "5072dacf947d4f682e14a56816eb10f9e46d7203",
     "name": "GameServer",
-    "inputRev?": "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930"}},
+    "inputRev?": "5072dacf947d4f682e14a56816eb10f9e46d7203"}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
diff --git a/lakefile.lean b/lakefile.lean
index 9dd9e62..e7b22de 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -8,7 +8,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/leanprover-community/lean4game.git" "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930" "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" "5072dacf947d4f682e14a56816eb10f9e46d7203" "server"
 }
 
 /- Choose dependency depending on the environment variable NODE_ENV -/