Skip to content

Improve search display on mobile#46825

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:mobile-search
Dec 19, 2017
Merged

Improve search display on mobile#46825
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:mobile-search

Commits

Commits on Dec 18, 2017