Short Downtime of Servers

Due to necessary security updates, some of our servers will be rebooted within the next 10 minutes. This includes gerrit, askbot, jenkins and other services.

Alex