[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: