Skip to content

Fix source code page sidebar on mobile#91905

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:source-code-page-sidebar
Dec 15, 2021
Merged

Fix source code page sidebar on mobile#91905
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:source-code-page-sidebar

Commits

Commits on Dec 14, 2021