Server reboots

Hi,

due to necessary security updates our servers will be restarted at 11:30 UTC.
This affects all services including gerrit.

Alex