Processed: Related to Default-Release
Processing commands for control@bugs.debian.org:
> found 431637 0.7.6
Bug#431637: apt-get source reports "Unable to find a source package"
Bug marked as found in version 0.7.6.
> retitle 431637 apt-get source foo fails with "E: Unable to find a source package for foo" if foo was binNMUd
Bug#431637: apt-get source reports "Unable to find a source package"
Changed Bug title to `apt-get source foo fails with "E: Unable to find a source package for foo" if foo was binNMUd' from `apt-get source reports "Unable to find a source package"'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: