Server reboot

Hi,

due to necessary security updates, the following services will be rebooted at 1415UTC:
gerrit-test, dev-downloads, ask, jenkins, gerrit

The services should be available again after a short downtime.

Alex