It's too hard to prove that bug 1008020 really is exactly the same as this bug. Please keep them separate for now.
It's too hard to prove that bug 1008020 really is exactly the same as this bug. Please keep them separate for now.