[create-pull-request] automated change (#37)

Co-authored-by: pitmonticone <[email protected]>
emilyriehl · Nov 10, 2024 · e83ae67 · e83ae67
1 parent fb2512e
commit e83ae67
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "61ccb312808a1e28bff528aa96811d45fc51ce0e",
+   "rev": "1964227ee4bc4a748a0fd3b7538fb3624bd53cdf",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -135,7 +135,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b6ae1cf11e83d972ffa363f9cdc8a2f89aaa24dc",
+   "rev": "e18c6c23dd7cb1f12d79d6304262351df943aa37",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",