Re: [Cloud] Gerrit SSH host keys will change on July 14th

8 Jul 2020


      ...
that's around 11:00 UTC.
Correction: My bad, that is actually 16:00 UTC.