July 5, 2017
7:22 a.m.
Wow, it's a lot quicker from the western US than the old site! Thanks. Sent from my iPhone
On Jul 5, 2017, at 00:10, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,
I just changed the DNS entry for
It now runs on Amazon AWS, this should make it faster and more reliable than in the past.
Marcus