Processing commands for [email protected]: > reassign 714547 gnome-shell Bug #714547 [gnome-panel] gnome-panel: Gnome-panel does not appear Bug reassigned from package 'gnome-panel' to 'gnome-shell'. No longer marked as found in versions gnome-panel/3.4.2.1-5. Ignoring request to alter fixed versions of bug #714547 to the same values previously set > forcemerge 712861 714547 Bug #712861 {Done: Emilio Pozuelo Monfort <[email protected]>} [gnome-shell] gnome-bluetooth: Breaks gnome-shell: GnomeBluetoothApplet.KillswitchState is undefined Bug #712926 {Done: Ludovic Lebègue <[email protected]>} [gnome-shell] gnome-shell: Execution of main.js threw exception: TypeError: GnomeBluetoothApplet.KillswitchState is undefined Bug #714545 {Done: Emilio Pozuelo Monfort <[email protected]>} [gnome-shell] gnome doesn't start Bug #714547 [gnome-shell] gnome-panel: Gnome-panel does not appear Severity set to 'serious' from 'critical' Marked Bug as done Marked as found in versions gnome-shell/3.4.2-8. Added tag(s) sid and jessie. Bug #712926 {Done: Ludovic Lebègue <[email protected]>} [gnome-shell] gnome-shell: Execution of main.js threw exception: TypeError: GnomeBluetoothApplet.KillswitchState is undefined Bug #714545 {Done: Emilio Pozuelo Monfort <[email protected]>} [gnome-shell] gnome doesn't start Merged 712861 712926 714545 714547 > thanks Stopping processing here.
Please contact me if you need assistance. -- 712861: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712861 712926: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712926 714545: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714545 714547: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714547 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
