Now the status of bug 704231 has been corrected, I still can't say for sure that this is a duplicate of that one. Because the proposed fix for bug 704231 does not seem to solve this bug.
Now the status of bug 704231 has been corrected, I still can't say for sure that this is a duplicate of that one. Because the proposed fix for bug 704231 does not seem to solve this bug.