On 19 September 2013 15:47, Martijn van Oosterhout <kleptog@gmail.com> wrote:
3. DNS entry change to new IP address (owner of domain needs to do this).
Does anybody know who the admin is for ddtp.debian,net? It's not listed at https://wiki.debian.org/DebianNetDomains though that page shows how any DD can lookup the information.
That person needs to be available to do the switch (though we could run from an alternative domain for a while if necessary).