http://hg.mozilla.org/mozilla-central/rev/8c84037f3ad9
I pushed the existing patch because we definitely want this fix as it improves things significantly and is the right thing to do. I'm following up the remaining problems now.
http:// hg.mozilla. org/mozilla- central/ rev/8c84037f3ad 9
I pushed the existing patch because we definitely want this fix as it improves things significantly and is the right thing to do. I'm following up the remaining problems now.