Hi there,

because of an unscheduled but necessary reboot of the Host Server of dist-mirror.fem.tu-ilmenau.de, there will be an downtime beginning at ~19:55 (CET/MEZ).

If there are no other Problems, the server should be successfully rebooted at 20:15 (CET/MEZ).

I apologize for any inconvenience caused by this downtime.

Best Greetings,

Matthias Detsch