Processing commands for cont...@bugs.debian.org: > reassign 805817 ftp.debian.org Bug #805817 [istanbul] Should instanbul be removed? Bug reassigned from package 'istanbul' to 'ftp.debian.org'. No longer marked as found in versions istanbul/0.2.2-10.1. Ignoring request to alter fixed versions of bug #805817 to the same values previously set > retitle 805817 RM: instanbul - dead upstream, depends on gstreamer 0.10 Bug #805817 [ftp.debian.org] Should instanbul be removed? Changed Bug title to 'RM: instanbul - dead upstream, depends on gstreamer 0.10' from 'Should instanbul be removed?' > thanks Stopping processing here.
Please contact me if you need assistance. -- 805817: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=805817 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
