Hello, it's that time of the year again, and gerrit needs a reboot due to system upgrades. ;-) Planned downtime is today at about 1800 CET, for about five minutes. As I'm on the road, hosting an event, I cannot determine an exact time, but try to be around 1800 CET (which is 1700 UTC). Sorry for the inconveniences, Florian