I've now upgraded gdm3 to 3.12.2-2.1 with apt-get (for some reason, aptitude thought that the package had broken dependencies, so that I wasn't aware I could upgrade). After a reboot, everything is fine for the moment. Let's see if the problem still occurs...
-- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
