From 185829d089080b290c012adb380beddfd49a4712 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 9 Aug 2022 22:19:40 +0200
Subject: [PATCH] chore: update mdBook

Resolves #1421
---
 doc/flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/flake.lock b/doc/flake.lock
index fe35c8112c..a63c026fb9 100644
--- a/doc/flake.lock
+++ b/doc/flake.lock
@@ -117,11 +117,11 @@
     "mdBook": {
       "flake": false,
       "locked": {
-        "lastModified": 1644567966,
-        "narHash": "sha256-fqdb2AUAMmi54vfa2qOF7VMFvN3rNku8/kUh1YEW86g=",
+        "lastModified": 1660074464,
+        "narHash": "sha256-W30G7AeWBjdJE/CQZJU5vJjaDGZtpmxEKNMEvaYtuF8=",
         "owner": "leanprover",
         "repo": "mdBook",
-        "rev": "b7a9bc48e9881087cac684d0c6c2c0a3583417e8",
+        "rev": "9321c10c502cd59eea8afc4325a84eab3ddf9391",
         "type": "github"
       },
       "original": {