Processing commands for [EMAIL PROTECTED]: > 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)
