From d4e81bd3fde0165e3e5c5350d76e29339d741076 Mon Sep 17 00:00:00 2001 From: rustbot <47979223+rustbot@users.noreply.github.com> Date: Mon, 24 Apr 2023 13:00:24 -0400 Subject: [PATCH] Update books --- src/doc/book | 2 +- src/doc/embedded-book | 2 +- src/doc/rustc-dev-guide | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/doc/book b/src/doc/book index c06006157b1..8fa6b854d51 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit c06006157b14b3d47b5c716fc392b77f3b2e21ce +Subproject commit 8fa6b854d515506d825390fe0d817f5ef0c89350 diff --git a/src/doc/embedded-book b/src/doc/embedded-book index 701d1551429..897fcf566f1 160000 --- a/src/doc/embedded-book +++ b/src/doc/embedded-book @@ -1 +1 @@ -Subproject commit 701d1551429da4cb609082c0ac99df569e336710 +Subproject commit 897fcf566f16bf87bf37199bdddec1801fd00532 diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide index 6337ed17fb8..2a5eb92197e 160000 --- a/src/doc/rustc-dev-guide +++ b/src/doc/rustc-dev-guide @@ -1 +1 @@ -Subproject commit 6337ed17fb8dcd918d78b7d97d213e923530337c +Subproject commit 2a5eb92197e9cf8fe91164dcbf4f9b88c0d7e73d