Merge pull request #575 from lean-ja/auto-update/patch-iz32vkv

Updates available and ready to merge.
lean-ja · Aug 5, 2024 · b1f60d8 · b1f60d8
2 parents 12d6efe + 7a33d12
commit b1f60d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "10a631f1d3d9d99b990791ca0a251a5e78a15d84",
+   "rev": "1f03949ae423ae9fb010318e73f8969e44288c92",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",