diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide
index f587d6e7cddea..9a86c0467bbe4 160000
--- a/src/doc/rustc-dev-guide
+++ b/src/doc/rustc-dev-guide
@@ -1 +1 @@
-Subproject commit f587d6e7cddeaa3cf0a33ec1e368df1a408fa0aa
+Subproject commit 9a86c0467bbe42056f73fdf5b03fff757d7c4a9b