From: bors[bot] <26634292+bors[bot]@users.noreply.github.com> Date: Thu, 23 Sep 2021 04:55:34 +0000 (+0000) Subject: Merge #10315 X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=88a214f2dc1c85bda1666f303f7658834d61780d;p=rust.git Merge #10315 10315: Fix title of User Manual page r=lnicola a=terrynsun Asciidoc uses the first line of a doc as the title, so you can't put comments before the heading. --- I had an old copy of the Manual page open and I noticed that the "User Manual" heading (and page title) had disappeared in the live version: ![image](https://user-images.githubusercontent.com/2858750/134455658-3885b754-9eae-4dca-a6d4-4b1453910850.png) With this change (and how it was a few days ago): ![image](https://user-images.githubusercontent.com/2858750/134455865-5acc7538-ccf8-4346-941f-3a5561b3181e.png) Co-authored-by: Terry Sun --- 88a214f2dc1c85bda1666f303f7658834d61780d