Skip to content

rustdoc: cut margin-top from first header in docblock#102437

Merged
bors merged 1 commit intorust-lang:masterfrom notriddle:notriddle/margin-top-h2Sep 29, 2022

Commits

Commits on Sep 28, 2022