I applied the patch i.e. 1cb8f074df8d16879ec80d778d26fb5b9af05a3b
from git://git.debian.org/git/pkg-xorg/driver/xserver-xorg-input-evdev and it seems that the problem disappeared. at least it did not show up in the last two days. Thanks ! Cheers, Götz Gaycken -- Götz Gaycken - Physikalisches Institut der Universität Bonn Office : CERN bat. 304-1-042 Tel : +41-22-76-78052 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
