From b706cf80b037982ba2d0d72771ae1d479a1ecfaf Mon Sep 17 00:00:00 2001
From: rustbot <47979223+rustbot@users.noreply.github.com>
Date: Mon, 10 Jul 2023 15:16:29 -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 17fe3e94849..b5a12d95e32 160000
--- a/src/doc/rustc-dev-guide
+++ b/src/doc/rustc-dev-guide
@@ -1 +1 @@
-Subproject commit 17fe3e948498c50e208047a750f17d6a8d89669b
+Subproject commit b5a12d95e32ae53791cc6ab44417774667ed2ac6
-- 
cgit 1.4.1-3-g733a5