Bug#941844: gnome-shell: gdm fails to start: gnome-shell JS error

2019-10-06 Thread Simon McVittie
Control: reassign -1 gir1.2-gnomedesktop-3.0 3.34.0-2 Control: forcemerge 941782 -1 Control: affects 941782 + gnome-shell On Sun, 06 Oct 2019 at 11:38:27 +0100, Jamie Forth wrote: > After a recent full-upgrade, which included the installation of > libgnome-desktop-3-18:amd64 (3.34.0-2, automatic),

Processed: Re: Bug#941844: gnome-shell: gdm fails to start: gnome-shell JS error

2019-10-06 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 gir1.2-gnomedesktop-3.0 3.34.0-2 Bug #941844 [gnome-shell] gnome-shell: gdm fails to start: gnome-shell JS error Bug reassigned from package 'gnome-shell' to 'gir1.2-gnomedesktop-3.0'. No longer marked as found in versions gnome-shell/3.30.2-11. Ignoring

Bug#941844: gnome-shell: gdm fails to start: gnome-shell JS error

2019-10-06 Thread Jamie Forth
Package: gnome-shell Version: 3.30.2-11 Severity: critical Tags: upstream Justification: breaks the whole system Dear Maintainer, After a recent full-upgrade, which included the installation of libgnome-desktop-3-18:amd64 (3.34.0-2, automatic), gdm fails to start, with the following gnome-shell e