Disregard. I see that in the case Paul sited, DNS is at daily-24713 and the mirrors are still serving daily.cvd 24712.

-Al-

On Mon, Jul 02, 2018 at 04:02 AM, Al Varnell wrote:
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