mozilla/dxr — pull request #205 by ossreleasefeed (2013-12-10 12:33:54+00:00)
Title: Bug938884 restore nav

@erikrose r?