From: Michael Prokop Date: Thu, 12 May 2022 10:24:09 +0000 (+0200) Subject: Drop broken mirror mirror.serverion.com X-Git-Url: http://git.grml.org/?a=commitdiff_plain;h=af178d1101a704ff8eac7822b92df22c53b66af9;hp=af178d1101a704ff8eac7822b92df22c53b66af9;p=grml-mirrors.git Drop broken mirror mirror.serverion.com mirror.serverion.com is reported to be out-of-sync since >158 days, and mirror.serverion.com is unreachable, so let's drop it for now. ---