Closed lassoan closed 3 years ago
Let me know if the new server is up and running.. then we can merge this PR
Maybe the commit comment was misleading, the server is already up. We'll update the server address in a couple of weeks, but until then this address should work.
The new server is available at an updated address (the address will change in a couple of weeks when the server will be moved to its final location).