Gerrit restarted

Hi,

our gerrit instance went havoc and had to be restarted. Please excuse any inconvenience caused.

Thanks,
Alex