For the record, this patch was modified in http://hg.mozilla.org/mozilla-central/rev/8ea02ebd43f0 and if we port this, we should port that as well.
For the record, this patch was modified in http:// hg.mozilla. org/mozilla- central/ rev/8ea02ebd43f 0 and if we port this, we should port that as well.