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