From 5dd01ccf1c1bd451b1a59eb7c8c276b771229c9d Mon Sep 17 00:00:00 2001
From: rustbot <47979223+rustbot@users.noreply.github.com>
Date: Mon, 11 Sep 2023 13:01:15 -0400
Subject: Update books

---
 src/doc/rustc-dev-guide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/doc/rustc-dev-guide')

diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide
index b123ab47541..08bb147d51e 160000
--- a/src/doc/rustc-dev-guide
+++ b/src/doc/rustc-dev-guide
@@ -1 +1 @@
-Subproject commit b123ab4754127d822ffb38349ce0fbf561f1b2fd
+Subproject commit 08bb147d51e815b96e8db7ba4cf870f201c11ff8
-- 
cgit 1.4.1-3-g733a5