From 96f08e761d9a62e0e0a9b9b9f6ff5dfe1056453e Mon Sep 17 00:00:00 2001
From: mathlib4-update-dependencies-bot
 <150093616+mathlib-bors@users.noreply.github.com>
Date: Fri, 4 Oct 2024 08:03:23 +0000
Subject: [PATCH] chore: update Mathlib dependencies 2024-10-04 (#17397)

This PR updates the Mathlib dependencies.
---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 3f76a781eeec7..293cd227426e9 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "63c1c38b123b0741b7b7fd56fb8510f95bfd0e55",
+   "rev": "13f9b00769bdac2c0041406a6c2524a361e8d660",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "6b6ad220389444229d6b29c386b039e18345a003",
+   "rev": "63a7d4a353f48f6c5f1bc19d0f018b0513cb370a",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",