For information, the problem for me seems to have completely disappeared since I upgraded to 13.04! Nota Bene: it was not a clean install, but an upgrade of an existing 12.10. Conditions where the problem does show up seem to be rather obscure...
For information, the problem for me seems to have completely disappeared since I upgraded to 13.04!
Nota Bene: it was not a clean install, but an upgrade of an existing 12.10.
Conditions where the problem does show up seem to be rather obscure...