Processing commands for cont...@bugs.debian.org: > 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 <po...@debian.org>} [gnome-shell] gnome-bluetooth: Breaks gnome-shell: GnomeBluetoothApplet.KillswitchState is undefined Bug #712926 {Done: Ludovic Lebègue <ludo...@lebegue.org>} [gnome-shell] gnome-shell: Execution of main.js threw exception: TypeError: GnomeBluetoothApplet.KillswitchState is undefined Bug #714545 {Done: Emilio Pozuelo Monfort <po...@debian.org>} [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 <ludo...@lebegue.org>} [gnome-shell] gnome-shell: Execution of main.js threw exception: TypeError: GnomeBluetoothApplet.KillswitchState is undefined Bug #714545 {Done: Emilio Pozuelo Monfort <po...@debian.org>} [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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org