Comment 30 for bug 706918

Revision history for this message
Dept.Técnico (Extreme Micro S.L.) (tecnicos-extreme-micro) wrote :

We confirm the #22 workaround.
Anyway, the patch solved the problem in 32bits and 64bits.