Merged
doc: adjust all doc headings one level up#12595bors merged 1 commit intorust-lang:masterfrom weihanglo:doc-headings
bors merged 1 commit intorust-lang:masterfrom weihanglo:doc-headings
doc: adjust all doc headings one level up#12595
Merged
bors merged 1 commit intorust-lang:masterfrom weihanglo:doc-headingsSep 1, 2023
+491-493
Commits
Unable to load page.
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.