Version: 3.4.2.1-4 gnome-session-save isn't in gnome any more. it's been replaced by gnome-session-quit, which has a --force option, which is supposed to do the same thing.
--dkg -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org