I think the easiest way to fix this would be to use the GUI to switch to another mirror (and then back if you so wish).

Reply via email to