rustdoc: name the source page sidebar-toggle #src-sidebar-toggle
#105764
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 16, 2022
Merged
rustdoc: name the source page sidebar-toggle `#src-sidebar-toggle`#105764bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom