Processed: cleanup
Processing commands for control@bugs.debian.org:
> merge 152129 166032
Bug#152129: Source package version selection by release
Bug#166032: [policy] Pinning by source package
Merged 152129 166032.
> retitle 127759 should apt-get source modify do something different if dpkg-dev is not installed?
Bug#127759: apt "source": better failure handling ?
Changed Bug title.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: