open-review/open-review — pull request #153 by thomasbrus (2014-05-14 15:53:52+00:00)
Title: Global search bar

![schermafbeelding 2014-05-14 om 17 47 42](https://cloud.githubusercontent.com/assets/232034/2973674/ec7f1c50-db7f-11e3-8466-c55a4ccd783c.png)

Fixes #144