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.