mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-16 23:25:03 +00:00
feb02f1212
was wrong. Thanks to Stefan Sitter <ssitter@googlemail.com> for reporting the bug and verifying the fix.