]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b940e1d 9d5ca39)
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)
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">


Trivial merge
Empowering everyone to build reliable and efficient software.