mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-24 13:52:37 +00:00
a7b5ad78b1
r=varga, sr=brendan, patch by Andreas Kunz <durbacher@gmx.de>