Hello Michael, > http://packages.debian.org/changelogs/pool/main/g/gnome-session/gnome-session_3.4.2.1-2/changelog#version3.4.2.1-2 I had not seen that it was already done. Sorry for the disturbance and thank you very much for the fix! Best regards, Thomas Pierson