Skip to content

rustdoc: remove dashed underline under main heading#93172

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:re-remove-line
Jan 22, 2022
Merged

rustdoc: remove dashed underline under main heading#93172
bors merged 1 commit intorust-lang:masterfrom
jsha:re-remove-line

Commits

Commits on Jan 21, 2022