i18n.debian.net, ddtp.debian.net up

Quoting Christian Perrier (bubulle <at> debian.org):
> The Internet connection of "churro", aka i18n.debian.net, aka
> ddtp.debian.net, is down.

This morning (04:00 UTC), I have been able to quickly connect to the
machine while it was down 8 hours before. So, please assume it will
come back in full operation during the next day (unless something bad
happens again to the Internet connection).