rustdoc: remove no-op CSS h1-6 { border-bottom-color }
#102034
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 20, 2022
Merged
rustdoc: remove no-op CSS `h1-6 { border-bottom-color }`#102034bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom