On Thu, 2020-05-14 at 17:14 +0200, Matthias Klose wrote: > most likely a broken mirror.
Thanks for the insight. Whom should I contact to get this fixed?
On Thu, 2020-05-14 at 17:14 +0200, Matthias Klose wrote: > most likely a broken mirror.
Thanks for the insight. Whom should I contact to get this fixed?