tree aafe8371bdfbf07fe05419f0df1203a61bae893c
parent bc04a50df7794e30188cd99cc36f3e53f886829c
author Luca Milanesio <luca.milanesio@gmail.com> 1588100215 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588452102 +0100

Set Gerrit to v3.2.0-rc1

Update Gerrit API to v3.2.0-rc1 and align the associated
libraries with the ones included in Gerrit.

Also adapt the changes to the project cache interface
and the conversion of Java8's Optional to Scala's Option.

Change-Id: I00eb9455ad4bb305a3d014e524d0ece5bea8a717