Comment 11 for bug 974393

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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