rustdoc: give .line-number
/ .line-numbers
meaningful names#102325
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 27, 2022
Merged
rustdoc: give `.line-number` / `.line-numbers` meaningful names#102325bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom