Processing commands for [email protected]: > 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 [email protected] with problems
