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: