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

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: