From 10bd656b729e92c232f4034c457039089bc0f53a Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Fri, 7 Oct 2022 17:38:34 +0100 Subject: [PATCH] Update rustc-dev-guide - .gitattributes: Mark minified javascript as binary to filter greps - fix very minor punctuation typo - diagnostic structs: derive on enum (#1477) - Update running tests with the new flags (#1476) - Rename typeck to hir_analysis (#1475) - fix typo and make paragraph consistent (#1474) - Update about-this-guide.md - Link to the correct page in "about this guide" - Update r-a config suggestions - don't refer to the compile-time interpreter as "Miri" (#1471) - UPDATE - Diagnostic docs to reflect renamed traits and macros in rustc PR#101558 - Update mdbook and its extensions versions - Remove unmaintained action - Update some actions versions - Fix some typos Update motivated in large part by the most recent commit, to fix `git grep`. --- 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 f587d6e7cddea..9a86c0467bbe4 160000 --- a/src/doc/rustc-dev-guide +++ b/src/doc/rustc-dev-guide @@ -1 +1 @@ -Subproject commit f587d6e7cddeaa3cf0a33ec1e368df1a408fa0aa +Subproject commit 9a86c0467bbe42056f73fdf5b03fff757d7c4a9b