Server relocation complete

Reconfiguration done for the day. Thanks for your patience!
Added by Chris Cannam almost 8 years ago

We've finished our server move and reconfiguration, and all services should be running again normally now. Please drop us a line if you see any problems. We had around 55 minutes of downtime during the move, which is quite a bit longer than we had intended — our sincere apologies if this has affected your work.