This bug was fixed in the package gnome-shell - 3.8.3-1ubuntu4
--------------- gnome-shell (3.8.3-1ubuntu4) saucy; urgency=low
* Depend on libgdm instead of gdm and suggest gdm. This avoids needing to choose between lightdm and gdm when installing gnome-shell (LP: #1162849) -- Jeremy Bicha <email address hidden> Mon, 22 Jul 2013 21:00:17 -0400
This bug was fixed in the package gnome-shell - 3.8.3-1ubuntu4
---------------
gnome-shell (3.8.3-1ubuntu4) saucy; urgency=low
* Depend on libgdm instead of gdm and suggest gdm. This avoids needing to
choose between lightdm and gdm when installing gnome-shell (LP: #1162849)
-- Jeremy Bicha <email address hidden> Mon, 22 Jul 2013 21:00:17 -0400