rustdoc: name the source page sidebar-toggle `#src-sidebar-toggle`#105764

Merged

bors merged 1 commit intorust-lang:masterfrom

notriddle:notriddle/src-sidebar-toggle

Dec 16, 2022

Commits on Dec 15, 2022

rustdoc: name the source page sidebar-toggle `#src-sidebar-toggle`
notriddle
committed