Planned Reboot on November 7

As long as there are no objections, the server will be rebooted on 2016-11-07 at around 18h UTC for maintenance. $ADMIN hopes that notifying the world more than 2 days in advance is enough.

Please make sure that your services don’t blow up because of a reboot and don’t forget to check your services after the reboot.