Comment 71 for bug 116236

Revision history for this message
Ricardo Pérez López (ricardo) wrote :

OK, forget my last comment: it was a cache problem. The bug is fixed for me. Thanks a lot!