From ebec1b61db40c3352391654316f3644e268fee46 Mon Sep 17 00:00:00 2001
From: mathlib4-update-dependencies-bot
 <150093616+mathlib-bors@users.noreply.github.com>
Date: Wed, 16 Oct 2024 11:28:18 +0000
Subject: [PATCH] chore: update Mathlib dependencies 2024-10-16 (#17816)

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 eedfc9ff53b9ba..6e5aa7951c279e 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b731e84cb99d738b8d9710a0ba02bf8ec8d7fd26",
+   "rev": "422d1a5f608fccafeddab9748e8038ef346b59bf",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4b61d4abc1659f15ffda5ec24fdebc229d51d066",
+   "rev": "7bedaed1ef024add1e171cc17706b012a9a37802",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",