Processed: forcibly merging 718552 718566

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 718552 718566
Bug #718552 [libgjs0c] libgjs0c: libgjs 1.36.1 is missing dbus.js and breaks gnome-shell 3.4.2-11
Bug #718566 [libgjs0c] gnome-shell: leaves quasi-unusable desktop, no window manager anymore
Added indication that 718566 affects cinnamon,gnome-shell
Merged 718552 718566
> 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