Short downtime due to maintenance - 2018-08-24

This evening CEST (around noon in the Americas), we will perform some quick maintenance to keep our infrastructure in optima forma. This means that all our systems will be down for approximately 15 minutes or so.

edit: mission accomplished