Hi, On Sun, 06 Oct 2019, Markus Koschany wrote: > Yes, there is a (DNS) problem with the server right now. We are aware of > it and hope it will be fixed within the next 24 hours. Apologies for any > inconveniences caused.
Server is back online. It had a problem with its network filesystem. Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: https://www.freexian.com/services/debian-lts.html Learn to master Debian: https://debian-handbook.info/get/
signature.asc
Description: PGP signature
