Rustdoc accessibility: make the sidebar headers actual headers#87210
Merged
bors merged 4 commits intorust-lang:masterfrom Jul 19, 2021
Merged
Rustdoc accessibility: make the sidebar headers actual headers#87210bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom