Skip to content

Fix missing bottom border for headings in sidebar#90571

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:missing-bottom-border-sidebar
Nov 5, 2021

Commits

Commits on Nov 4, 2021