Processed (with 1 error): Re: Bug#808042: Should mumble-django be removed?

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 808042 ftp.debian.org
Bug #808042 [src:mumble-django] Should mumble-django be removed?
Bug reassigned from package 'src:mumble-django' to 'ftp.debian.org'.
No longer marked as found in versions mumble-django/2.13-1.
Ignoring request to alter fixed versions of bug #808042 to the same values previously set
> severity 808042 normal
Bug #808042 [ftp.debian.org] Should mumble-django be removed?
Severity set to 'normal' from 'serious'
> retitle 808042 RM: mumble-django -- ROM; RC buggy; low popcon; depends
Bug #808042 [ftp.debian.org] Should mumble-django be removed?
Changed Bug title to 'RM: mumble-django -- ROM; RC buggy; low popcon; depends' from 'Should mumble-django be removed?'
> on obsolete libs
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.

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