Processed (with 5 errors): Re: big obnoxious bug merger

Debian Bug Tracking System owner at bugs.debian.org
Mon Sep 19 19:45:11 UTC 2016


Processing commands for control at bugs.debian.org:

> retitle 838050 segfault kills gnome-shell, all graphics tablets
Bug #838050 [libmutter0i] libmutter causes gdm3's gnome-shell to segfault in
Bug #838047 [libmutter0i] libwacom2: segfault in libwacom from gnome-shell
Changed Bug title to 'segfault kills gnome-shell, all graphics tablets' from 'libmutter causes gdm3's gnome-shell to segfault in'.
Changed Bug title to 'segfault kills gnome-shell, all graphics tablets' from 'libwacom2: segfault in libwacom from gnome-shell'.
> done
Unknown command or malformed arguments to command.
> On 19 September 2016 at 20:02, Andrew Chadwick <a.t.chadwick at gmail.com> wrote:
Unknown command or malformed arguments to command.
> > reassign 838047 libmutter0i 3.21.92-1
Unknown command or malformed arguments to command.
> > reassign 838050 libmutter0i 3.21.92-1
Unknown command or malformed arguments to command.
> > severity 838047 grave
Unknown command or malformed arguments to command.
Too many unknown commands, stopping here.

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



More information about the pkg-gnome-maintainers mailing list