Processed: Re: Bug#513730: fetches packages from an HTTP source rather than more preferred file source
Processing commands for control@bugs.debian.org:
> package apt
Ignoring bugs not assigned to: apt
> forcemerge 338889 513730
Bug#338889: Overzealously prefers signed packages to identical unsigned ones
Bug#513730: [apt] Fetches packages from an HTTP source rather than more preferred file source
Forcibly Merged 338889 513730.
> retitle 513730 fetches packages from an HTTP source rather than more preferred file source
Bug#513730: [apt] Fetches packages from an HTTP source rather than more preferred file source
Changed Bug title to `fetches packages from an HTTP source rather than more preferred file source' from `[apt] Fetches packages from an HTTP source rather than more preferred file source'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: