mozilla/rust — pull request #12439 by cmr (2014-02-21 07:16:07+00:00)
Title: rustdoc: web: don't reset the search bar

rustdoc: web: don't reset the search bar