Processed (with 1 errors): Re: Bug#712774: Acknowledgement (gnome-shell - Dies with signal 6)

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 gnome-bluetooth/3.8.0-1
Unknown command or malformed arguments to command.

> severity -1 grave
Bug #712774 [gnome-shell] gnome-shell - Dies with signal 6
Severity set to 'grave' from 'important'
> retitle -1 gnome-bluetooth - abort() on unknown values
Bug #712774 [gnome-shell] gnome-shell - Dies with signal 6
Changed Bug title to 'gnome-bluetooth - abort() on unknown values' from 'gnome-shell - Dies with signal 6'

-- 
712774: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712774
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems