diff --git a/lake-manifest.json b/lake-manifest.json
index 0587f30..0331f48 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4.git",
    "type": "git",
    "subDir": null,
-   "rev": "d5697d052e5154b909f379073a591ebf66eb3e22",
+   "rev": "2e4a3586a8f16713f16b2d2b3af3d8e65f3af087",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.3.0",
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "121b36b542febd35a17b325d004c6fcc165e2257",
+   "rev": "d5697d052e5154b909f379073a591ebf66eb3e22",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.3.0",