mozilla/dxr — pull request #171 by ossreleasefeed (2013-11-04 11:13:14+00:00)
Title: Fix Bug 932264, minor tweaks to advanced search UI

@erikrose r?