Skip to content

rustdoc: remove inconsistently-present sidebar tooltips#107490

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/rm-sidebar-tooltip
Feb 11, 2023

Commits

Commits on Jan 31, 2023