>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Our only option really is to remove this mirror from the list of Lars> mirrors. (or mark it as outdated.) I contacted the person responsible for it (whose address is conveniently kept in download/index.php :), we'll see what happens. JMarc
