Comment 14 for bug 9488

Revision history for this message
In , Michael Tautschnig (mt-debian) wrote : Problem now unreproducible

Hi all,

Actually I can't reproduce the problem anymore, probably since a few months
already. I'd thus suggest tagging it unreproducible or even closing it.

Best,
Michael