Processed: Re: Bug#211390: apt-get source <pkg>=<version> fails when source package has differing name
Processing commands for control@bugs.debian.org:
> merge 211390 174626
Bug#174626: apt-get source <pkg>=<version> does not work as expected for differing source/binary versions
Bug#211390: apt-get source <pkg>=<version> fails when source package has differing name
Merged 174626 211390.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: