Skip to content

Fix headings indent - #91223

Merged
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:headings-indent
Nov 27, 2021
Merged

Fix headings indent#91223
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:headings-indent

Commits

Commits on Nov 26, 2021