From: Pietro Albini <pietro@pietroalbini.org>
Date: Tue, 25 Sep 2018 20:34:39 +0000 (+0200)
Subject: Rollup merge of #54281 - GuillaumeGomez:search-box, r=QuietMisdreavus
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=888a0348fb309eb293d394104f2e081cd88f80d5;p=rust.git

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">
---

888a0348fb309eb293d394104f2e081cd88f80d5