installed the 3.2 kernel $ dpkg -l | grep linux-image-3.2.0-0.bpo.2-amd64 ii linux-image-3.2.0-0.bpo.2-amd64 3.2.18-1~bpo60+1 Linux 3.2 for 64-bit PCs
$ uname -srm Linux 3.2.0-0.bpo.2-amd64 x86_64 waiting to see if the bug happens again Manu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
