Skip to content

Hide mobile sidebar on some clicks#92803

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:hide-sidebar
Jan 18, 2022

Commits

Commits on Jan 17, 2022