Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 509983 dd-list Bug#509983: devscripts: dd-list: want a way to use Sources.gz rather than apt-cache showsrc There were no usertags set. Usertags are now: dd-list. > retitle 509983 [dd-list] Please add the ability to use Sources.gz instead of > apt-cache showsrc Bug#509983: devscripts: dd-list: want a way to use Sources.gz rather than apt-cache showsrc Changed Bug title to `[dd-list] Please add the ability to use Sources.gz instead of apt-cache showsrc' from `devscripts: dd-list: want a way to use Sources.gz rather than apt-cache showsrc'.
> End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To unsubscribe, send mail to [email protected].
