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

Co-authored-by: pitmonticone <[email protected]>
emilyriehl · Sep 28, 2024 · 9227e1e · 9227e1e
1 parent ec2d13f
commit 9227e1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "40d378f10d013d4ec275bb5d364cce672aa87113",
+   "rev": "e0b13c946e9c3805f1eec785c72955e103a9cbaf",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "aaff5ad5b038e792f9225de7fe6a37c9689b6ec8",
+   "rev": "2b108d1e9018455f2a4d06b17b06a0f689f42278",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,