Processed: unmerging 718566, reassign 718566 to gnome-shell, found 718566 in 3.4.2-11

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unmerge 718566
Bug #718566 [libgjs0c] gnome-shell: leaves quasi-unusable desktop, no window manager anymore
Bug #718552 [libgjs0c] libgjs0c: libgjs 1.36.1 is missing dbus.js and breaks gnome-shell 3.4.2-11
Disconnected #718566 from all other report(s).
> reassign 718566 gnome-shell
Bug #718566 [libgjs0c] gnome-shell: leaves quasi-unusable desktop, no window manager anymore
Bug reassigned from package 'libgjs0c' to 'gnome-shell'.
No longer marked as found in versions gjs/1.36.1-2.
Ignoring request to alter fixed versions of bug #718566 to the same values previously set
> found 718566 3.4.2-11
Bug #718566 [gnome-shell] gnome-shell: leaves quasi-unusable desktop, no window manager anymore
Marked as found in versions gnome-shell/3.4.2-11.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
718552: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718552
718566: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718566
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems