Processed: Re: Bug#907704: choose-mirror: default to deb.debian.org
Processing control commands: > retitle -1 choose-mirror: hide mirror selection by default Bug #907704 [choose-mirror] choose-mirror: default to deb.debian.org Changed Bug title to 'choose-mirror: hide mirror selection by default' from 'choose-mirror: default to deb.debian.org'. -- 907704: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907704 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Processed: Re: Bug#907704: choose-mirror: default to deb.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 ow...@bugs.debian.org with problems
