From ebfd31a1115e71985b83c2c6ab385dc0a86d63b9 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Wed, 15 Feb 2023 11:55:14 +0100
Subject: [PATCH] bump mathlib

---
 server/testgame/lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/testgame/lake-manifest.json b/server/testgame/lake-manifest.json
index 7e990ec..ad627d9 100644
--- a/server/testgame/lake-manifest.json
+++ b/server/testgame/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "364f46963851ce41be45328ae127a61ee1070109",
+    "rev": "c8bff08cf815e8881e95967259910524100adfb0",
     "name": "mathlib",
     "inputRev?": "master"}},
   {"git":