linuxmint/cinnamon-session — pull request #22 by gombasg (2014-07-17 22:15:36+00:00)
Title: Fix user switching on Debian

The GDM process is called gdm3.