]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #46825 - GuillaumeGomez:mobile-search, r=QuietMisdreavus
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Mon, 18 Dec 2017 22:08:41 +0000 (23:08 +0100)
committerGitHub <noreply@github.com>
Mon, 18 Dec 2017 22:08:41 +0000 (23:08 +0100)
Improve search display on mobile

r? @QuietMisdreavus


Trivial merge