Server reboots

Hi,

due to necessary security updates, most of our servers need to be rebooted. This may involve some short downtime of services like gerrit etc.

Alex