From 902bef2071831910af97bae1e49937dccbf4ca5e Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 19 Nov 2024 10:24:03 +0100
Subject: [PATCH] [create-pull-request] automated change (#224)

Co-authored-by: pitmonticone <38562595+pitmonticone@users.noreply.github.com>
---
 lake-manifest.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 0ee36eb5..03ca2a28 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b100ff2565805e9f30a482788b3fc66937a7f38a",
+   "rev": "01f4969b6e861db6a99261ea5eadd5a9bb63011b",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b0b73e5bc33f1bc4d3c0f254630dd0e262cecc08",
+   "rev": "119b022b3ea88ec810a677888528e50f8144a26e",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bcef7c52e813ca9512e907874ef563520147faf2",
+   "rev": "955e8f97a6372ceeeb97f4acc87f71ae1fea7d85",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,