On Thu, Dec 24, 2015 at 4:58 PM, Julien Cristau <jcris...@debian.org> wrote: > It would probably be better to use "mirror.ftp-master.debian.org" here? > > Cheers, > Julien
Very good point, Julien! Thank you for the suggestion! I have just pushed a new commit to use mirror.ftp-master.debian.org rather than coccia.debian.org. Cheers, Anthony
