mozilla/dxr — pull request #208 by ossreleasefeed (2013-12-12 13:52:25+00:00)
Title: Fix Bug 948541, recheck everything regarding the new UI ready for prod

@erikrose r?