Processed: Re: Bug#982194: choose-mirror: Rename mirror.netcologne.de to debian.netcologne.de

2021-08-19 Thread Debian Bug Tracking System
xed versions of bug #982194 to the same values previously set > tag -1 moreinfo Bug #982194 [mirrors] choose-mirror: Rename mirror.netcologne.de to debian.netcologne.de Added tag(s) moreinfo. -- 982194: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=982194 Debian Bug Tracking System Cont

Bug#982194: choose-mirror: Rename mirror.netcologne.de to debian.netcologne.de

2021-08-19 Thread Julien Cristau
Control: reassign -1 mirrors Control: tag -1 moreinfo On Sun, Feb 07, 2021 at 11:40:32AM +0100, Roland Rosenfeld wrote: > I noticed the following change in Git commit d51997a5: > > -Site: debian.netcologne.de > +Site: mirror.netcologne.de > +Alias: debian.netcologne.de > > This wasn't a very

Bug#982194: choose-mirror: Rename mirror.netcologne.de to debian.netcologne.de

2021-02-07 Thread Roland Rosenfeld
Package: choose-mirror Version: 2.109 Severity: normal Dear Maintainer, I noticed the following change in Git commit d51997a5: -Site: debian.netcologne.de +Site: mirror.netcologne.de +Alias: debian.netcologne.de This wasn't a very good idea, since I'd like to train users to use