Processed: Re: Bug#706987: general: Gnome freezes after some minutes of starting session

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 706987 gnome
Bug #706987 [gnome-shell] general: Gnome freezes after some minutes of starting session
Bug #675345 [gnome-shell] gnome-session: Display randomly freezes completely
Bug #702809 [gnome-shell] gnome-shell: gnome randomly freezes
Bug reassigned from package 'gnome-shell' to 'gnome'.
Bug reassigned from package 'gnome-shell' to 'gnome'.
Bug reassigned from package 'gnome-shell' to 'gnome'.
No longer marked as found in versions gnome-shell/3.4.2-7, gnome-shell/3.4.2-4, gnome-shell/3.4.1-8, gnome-shell/3.4.2-2, and gnome-shell/3.2.2.1-4.
No longer marked as found in versions gnome-shell/3.4.2-7, gnome-shell/3.4.2-4, gnome-shell/3.4.1-8, gnome-shell/3.4.2-2, and gnome-shell/3.2.2.1-4.
No longer marked as found in versions gnome-shell/3.4.2-7, gnome-shell/3.4.2-4, gnome-shell/3.4.1-8, gnome-shell/3.4.2-2, and gnome-shell/3.2.2.1-4.
Ignoring request to alter fixed versions of bug #706987 to the same values previously set
Ignoring request to alter fixed versions of bug #675345 to the same values previously set
Ignoring request to alter fixed versions of bug #702809 to the same values previously set
> severity 706987 important
Bug #706987 [gnome] general: Gnome freezes after some minutes of starting session
Bug #675345 [gnome] gnome-session: Display randomly freezes completely
Bug #702809 [gnome] gnome-shell: gnome randomly freezes
Ignoring request to change severity of Bug 706987 to the same value.
Ignoring request to change severity of Bug 675345 to the same value.
Ignoring request to change severity of Bug 702809 to the same value.
> thanks
Stopping processing here.

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