Bug#764715: gnome-shell: Missing dependency on mutter

Package: gnome-shell Version: 3.14.0-1 Severity: normal Dear Maintainer, Mutter is now shipping a restart helper program that provides for a smoother gnome shell restart experience. Gnome-shell 3.14 doesn't depend on mutter, just libmutter, and so the helper is not available by default. Oct 09

Bug#764715: gnome-shell: Missing dependency on mutter

Control: severity -1 important Am 10.10.2014 um 15:15 schrieb Christian Weeks: Package: gnome-shell Version: 3.14.0-1 Severity: normal Dear Maintainer, Mutter is now shipping a restart helper program that provides for a smoother gnome shell restart experience. Gnome-shell 3.14 doesn't