mozilla/dxr — pull request #122 by jonasac (2013-04-24 22:33:56+00:00)
Title: Fixes Bug 827618

This fixes the bug mentioned here: https://bugzilla.mozilla.org/show_bug.cgi?id=827618