Gerrit Updated; SSH bug fixedΒΆ

We updated the infrastructure of code.fairphone.com:

Gerrit update:
The Gerrit at https://code.fairphone.com/gerrit/ has been upgraded to version 2.12.2.
SSH key exchange issue fixed:
The SSH key exchange method incompatibility with OpenSSH >=7.0 in Gerrit has been fixed.