Fix the difference of title in appendix A#793

JohnTitor merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

giraffate:fix_the_differenc_of_title_in_appendix_agiraffate/rustc-dev-guide:fix_the_differenc_of_title_in_appendix_aCopy head branch name to clipboard