From e83ae67e33d0afa4cc2682112d7e8480e828bd38 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sun, 10 Nov 2024 13:03:04 +0100
Subject: [PATCH] [create-pull-request] automated change (#37)

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

diff --git a/lake-manifest.json b/lake-manifest.json
index c723e3e..eb39c4c 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "61ccb312808a1e28bff528aa96811d45fc51ce0e",
+   "rev": "1964227ee4bc4a748a0fd3b7538fb3624bd53cdf",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -135,7 +135,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b6ae1cf11e83d972ffa363f9cdc8a2f89aaa24dc",
+   "rev": "e18c6c23dd7cb1f12d79d6304262351df943aa37",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",