mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-31 19:10:36 +00:00
918ff71adb
thanks to Dao Gottwald <bugzilla@design-noir.de> for the fix. r=sspitzer, ui-r=beltzner.