rustdoc: remove no-op CSS .location:empty { border: none }
#102147
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 23, 2022
Merged
rustdoc: remove no-op CSS `.location:empty { border: none }`#102147bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom