This bug was fixed in the package gnome-shell - 3.10.4-0ubuntu5.2
--------------- gnome-shell (3.10.4-0ubuntu5.2) trusty; urgency=medium
* debian/control.in: Depend on gnome-session to ensure we have the session files for GNOME (LP: #1284417) -- Tim Lunn <email address hidden> Thu, 26 Jun 2014 09:28:32 +1000
This bug was fixed in the package gnome-shell - 3.10.4-0ubuntu5.2
---------------
gnome-shell (3.10.4-0ubuntu5.2) trusty; urgency=medium
* debian/control.in: Depend on gnome-session to ensure we have the
session files for GNOME (LP: #1284417)
-- Tim Lunn <email address hidden> Thu, 26 Jun 2014 09:28:32 +1000