Processing commands for cont...@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 ow...@bugs.debian.org with problems
