Skip to content

Remove border-bottom from headings in most docblocks.#90036

Merged
bors merged 2 commits intorust-lang:masterfrom
jsha:less-rule
Oct 20, 2021
Merged

Remove border-bottom from headings in most docblocks.#90036
bors merged 2 commits intorust-lang:masterfrom
jsha:less-rule

Commits

Commits on Oct 19, 2021