Reboot of Gerrit/Jenkins/Ask

Hi,

due to necessary security updates of the VM host gerrit/jenkins/ask are located on, there will be a short outage of these services around 20:00 UTC.

Sorry for the inconveniences,
Alex

The host has been rebooted, all services should be working again. Please write to the website list if you encounter any issues.

Thanks,
Alex