mozilla/socorro — pull request #2489 by AdrianGaudebert (2014-11-18 11:25:37+00:00)
Title: Fixes bug 1092505 - Redirect top-right search box to Super Search.

@peterbe r?