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

Processed: cleanup

Processing commands for control@bugs.debian.org:

> retitle 179868 Manual intervention necessary for reordering of sources.list to take effect
Bug#179868: apt: no way to really use Pin: origin, at least with cdroms
Changed Bug title.

> # line numbers for parse errors
> merge 115899 187889
Bug#115899: apt needs to be more verbose when errors occur parsing files
Bug#187889: apt: Error on 'no Package header' in /etc/apt/preferences should return line number
Merged 115899 187889.

> retitle 137560 build-dep does not remove conflicting packages to satisfy dependencies (should it?)
Bug#137560: apt: build-deps not resolved
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: