Processed: Re: choose-mirror: use httpredir.debian.org by default

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> retitle 797340 choose-mirror: use deb.debian.org by default
Bug #797340 [choose-mirror] choose-mirror: use httpredir.debian.org by default
Changed Bug title to 'choose-mirror: use deb.debian.org by default' from 'choose-mirror: use httpredir.debian.org by default'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
797340: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797340
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems