On Tue, 2013-05-28 at 13:39 +0100, Matthew Seaman wrote: > The root cause of the problem is fixed, but the portsnap servers have > not necessarily had good copies of the data pushed out to them yet. > There's going to be a full synch of the mirrors happening later today. > > Cheers > > Matthew It's working now. Thanks Matthew. Stan