Skip to content

Mobile sidebar improvements#45240

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:mobile-sidebar-improvements
Oct 13, 2017
Merged

Mobile sidebar improvements#45240
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:mobile-sidebar-improvements

Commits

Commits on Oct 12, 2017