On Sat, May 27, 2017 at 17:17:10 +0200, Didier 'OdyX' Raboud wrote: > It also currently uses httpredir.debian.org as only mirror, so we should > decide if it makes sense to consolidate onto deb.debian.org for win32- > loader too. > Yes please.
Cheers, Julien
