Merge pull request #17 from mseri/auto-update/patch-eojt3j5

Updates available and ready to merge.
mseri · Apr 11, 2024 · f9d0f7e · f9d0f7e
2 parents 762c0f1 + c5d9cda
commit f9d0f7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "16eb4bdf35334195f01f36e9a0d96884fe6c4990",
+   "rev": "868a04f87c815d29e413d742ee778e8e6189b63a",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,