Processed: reassign 720297 to gnome-shell, forcibly merging 720297 720283

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 720297 gnome-shell 3.4.2-12
Bug #720297 [3.4.2-12] [gnome-core] Freeze on startup since 1:3.8+3
Warning: Unknown package '3.4.2-12'
Bug reassigned from package '3.4.2-12' to 'gnome-shell'.
Ignoring request to alter found versions of bug #720297 to the same values previously set
Ignoring request to alter fixed versions of bug #720297 to the same values previously set
Bug #720297 [gnome-shell] [gnome-core] Freeze on startup since 1:3.8+3
Marked as found in versions gnome-shell/3.4.2-12.
> forcemerge 720297 720283
Bug #720297 [gnome-shell] [gnome-core] Freeze on startup since 1:3.8+3
Bug #720283 [gnome-shell] gnome-shell fails to start, clutter problems
Severity set to 'critical' from 'grave'
709098 was blocked by: 710696 720297
709098 was not blocking any bugs.
Added blocking bug(s) of 709098: 720283
Merged 720283 720297
> thanks
Stopping processing here.

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