The problem affects multiple users with different laptops and slight differences in video cards:
https://devtalk.nvidia.com/default/topic/567297/linux-3-10-driver-crash/ and https://bbs.archlinux.org/viewtopic.php?id=167195 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org