Hello all,
I will be permanently shutting down the server that hosts
https://mirror.jankoppe.de without a replacement.
You should therefore change your mirror soon if you are using this one.
It will continue to be online and sync until 2018-11-30.
Regards,
thunfisch