Hi *, On Fri, Nov 9, 2012 at 7:50 AM, Jehan Pagès <jehan.marmott...@gmail.com> wrote: > > So I guess the repo is down, hopefully temporarily. I went to the "configure > media sources" UI and "add a specific media mirror" (was using the > $MIRRORLIST default until now). > > So my real question is: couldn't the $MIRRORLIST fallback to other servers > than the "closer" instead of failing?
https://bugs.mageia.org/show_bug.cgi?id=3166 would solve all that.... ciao Christian
