On Wed, Oct 3, 2012 at 4:15 AM, <jidanni@jidanni.org> wrote: > Can't the names be saved by the DNS longer, or are you using some round > robin system? That would just make you complain about issues to reach the mirror instead of complaining about DNS issues.