Necessary server reboots

Hi,

due to security updates, the following services will be unavailable for a short amount of time around 1030UTC today: Gerrit, Jenkins, AskLibO and others.

Alex