From de377624be86c95374991fc7ac612daa9e81b2c7 Mon Sep 17 00:00:00 2001
From: rustbot <47979223+rustbot@users.noreply.github.com>
Date: Mon, 25 Sep 2023 13:00:44 -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 08bb147d51e..a13b7c28ed7 160000
--- a/src/doc/rustc-dev-guide
+++ b/src/doc/rustc-dev-guide
@@ -1 +1 @@
-Subproject commit 08bb147d51e815b96e8db7ba4cf870f201c11ff8
+Subproject commit a13b7c28ed705891c681ce5417b3d1cdb12cecd1
-- 
cgit 1.4.1-3-g733a5