Processed: Re: Bug#904917: general: Gnome randomly crash and restart to login.

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 904917 gnome-shell
Bug #904917 [general] general: Gnome randomly crash and restart to login.
Bug reassigned from package 'general' to 'gnome-shell'.
Ignoring request to alter found versions of bug #904917 to the same values previously set
Ignoring request to alter fixed versions of bug #904917 to the same values previously set
> retitle 904917 gnome-shell: segmentation fault
Bug #904917 [gnome-shell] general: Gnome randomly crash and restart to login.
Changed Bug title to 'gnome-shell: segmentation fault' from 'general: Gnome randomly crash and restart to login.'.
> thanks
Stopping processing here.

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