Processed: Re: Bug#907704: choose-mirror: default to deb.debian.org

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

Processing control commands:

> tag -1 + patch
Bug #907704 [choose-mirror] choose-mirror: default to deb.debian.org
Added tag(s) patch.

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