Does the evidence available infivsyr that it's the mirrors that are out-of-date or is it DNS? Everything I've seen shows that they are not in sync, but I'm not sure which get's updated first.

-Al-

On Sun, Jul 01, 2018 at 11:44 PM, Bill Maidment wrote:

Maybe these are dumb questions; if so, please ignore.
But doesn't it make more sense to update all the mirrors first, before changing the DNS? Is there some mechanism to do it that way round?
Anyway, it seems to be working OK here in Oz, for now.
Cheers
Bill