From 49795b40cf375a3c9ffe1843792856b40eace949 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Mon, 3 Apr 2023 14:12:13 +0200 Subject: [PATCH] update rustc dev guide --- src/doc/rustc-dev-guide | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide index d08baa166b4..fca8af6c154 160000 --- a/src/doc/rustc-dev-guide +++ b/src/doc/rustc-dev-guide @@ -1 +1 @@ -Subproject commit d08baa166b463537229eeb737c4ccadabd83cf78 +Subproject commit fca8af6c154c6cde2512f1331cf2704f214a818e