Processed: Re: Bug#857445: installation-report: Default https mirror list empty

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> tag -1 - d-i
Bug #857445 [installation-reports] installation-report: Default https mirror list empty
Removed tag(s) d-i.
> severity -1 normal
Bug #857445 [installation-reports] installation-report: Default https mirror list empty
Severity set to 'normal' from 'important'

-- 
857445: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857445
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems