On Thu, Jul 9, 2009 at 13:44, Gerhard Brauer<gerhard.bra...@web.de> wrote:
> Am Donnerstag, den 09.07.2009, 19:17 +0200 schrieb Gerhard Brauer:
>> You also could easy check a mirror with this script:
> Could we add such a check into pacman?

I don't think that's really needed. We shouldn't have any consistantly
outdated mirrors, and if we do, they should be either marked as such
or removed from the mirrorlist.

Reply via email to