On 6 January 2014 08:58, Andreas Tille <tille@debian.org> wrote:
Hi Martijn,
thanks for your work on this - just let me know if I could be of any help.
Fixing the DNS when the time comes would be helpful. That is,
making ddtp.debian.net point to the new machine, and then reactivating
the old request to get the reverse DNS matching.