On 10/10/2012 09:14 AM, Ralf Corsepius wrote: > ATM, I have re-enabled rtems.info, but ... I will likely re-disable it > again, because of OAR's DNS behavior, which causes the mirrorlist > checker to switch on and off rtems.info inside of the mirrorlists. After some more experiments, I took off rtems.info from the mirrorlist, again. Ralf