On Tue, Jul 02, 2013 at 04:19:57PM +0100, Francisco Leite de Castro wrote:
They actually both work for me at this point. In general, the solution to
problems like this is usually a) "try the first link again because it rotates
among different mirrors" and b) wait a bit, because it'll probably sync up.
:)
--
Matthew Miller mattdm(a)mattdm.org <
http://mattdm.org/>