Hi,
On Sat, Nov 10, 2012 at 6:41 PM, Christian Lohmaier < lohmaier+mag...@googlemail.com> wrote: > 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.... > > Cool. :-) Jehan > ciao > Christian >