Processing commands for cont...@bugs.debian.org: > severity 803782 normal Bug #803782 [ftp.debian.org] RM: drawtk - unmaintained, no rev deps, depends on gstreamer 0.10 Severity set to 'normal' from 'serious' > severity 805817 serious Bug #805817 [ftp.debian.org] RM: instanbul - dead upstream, depends on gstreamer 0.10 Ignoring request to change severity of Bug 805817 to the same value. > thanks Stopping processing here.
Please contact me if you need assistance. -- 803782: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803782 805817: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=805817 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems