Processed: Re: Bug#651831: gnome-shell freezes

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 651899 libc6
Bug #651899 [gnome-shell] gnome-shell: freezes when switching workspaces
Bug reassigned from package 'gnome-shell' to 'libc6'.
Bug No longer marked as found in versions gnome-shell/3.0.2-8.
> reassign 651831 libc6
Bug #651831 [gnome-shell] gnome-shell: Shell freezes after second close click
Bug reassigned from package 'gnome-shell' to 'libc6'.
Bug No longer marked as found in versions gnome-shell/3.2.1-7.
> forcemerge 651746 651831 651899
Bug#651746: libc6: upgrade lead to GNOME desktop freezing up
Bug#651831: gnome-shell: Shell freezes after second close click
Bug#651899: gnome-shell: freezes when switching workspaces
Forcibly Merged 651746 651831 651899.

> severity 651746 grave
Bug #651746 [libc6] libc6: upgrade lead to GNOME desktop freezing up
Bug #651831 [libc6] gnome-shell: Shell freezes after second close click
Bug #651899 [libc6] gnome-shell: freezes when switching workspaces
Severity set to 'grave' from 'important'

Severity set to 'grave' from 'important'

Severity set to 'grave' from 'important'

> affects 651746 gnome-shell
Bug #651746 [libc6] libc6: upgrade lead to GNOME desktop freezing up
Bug #651831 [libc6] gnome-shell: Shell freezes after second close click
Bug #651899 [libc6] gnome-shell: freezes when switching workspaces
Added indication that 651746 affects gnome-shell
Added indication that 651831 affects gnome-shell
Added indication that 651899 affects gnome-shell
> thanks
Stopping processing here.

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