]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #54281 - GuillaumeGomez:search-box, r=QuietMisdreavus
authorPietro Albini <pietro@pietroalbini.org>
Tue, 25 Sep 2018 20:34:39 +0000 (22:34 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Sep 2018 20:34:39 +0000 (22:34 +0200)
commit888a0348fb309eb293d394104f2e081cd88f80d5
treec5a258b80694909f0241a2e1f2c050d1c8ead38d
parentb940e1d961b274eb036e3155c6152705ac0d2227
parent9d5ca397c73325a32801b3d4b619368ac7c54b94
Rollup merge of #54281 - GuillaumeGomez:search-box, r=QuietMisdreavus

Search box

Follow up of #54244.

r? @QuietMisdreavus

<img width="1440" alt="screen shot 2018-09-16 at 21 23 05" src="https://user-images.githubusercontent.com/3050060/45600056-cbf93380-b9f6-11e8-904a-d76ddbc5ed69.png">