From a6a633a30e2741d35b95c7714067de5215a74255 Mon Sep 17 00:00:00 2001
From: Seasawher <47292598+Seasawher@users.noreply.github.com>
Date: Mon, 14 Oct 2024 00:58:42 +0000
Subject: [PATCH] [create-pull-request] automated change

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 83be9e0..5e2abd9 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "aa6a085095c72761491d45b01124d56744f9313a",
+   "rev": "e998043adeebf96ab1c66d4f47eaea68c824f9cb",
    "name": "«mk-exercise»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d0d73c6b44bcfc3ae0e6e6fd4a50c1c3773d4cf5",
+   "rev": "d990505b65cea8a25936e0e803ce41f66bd24922",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",