tree fac073534267976922aa642ff92271a5b95b22bb
parent 7e3e13d388460c80e9c198c5bb4c1cf5abb3aa04
author Luca Milanesio <luca.milanesio@gmail.com> 1556037810 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1556037810 +0100

Set next Gerrit version to 3.1

Current stable branch is 3.0 and master is pointing to
version 3.1.

Change-Id: I648935e944fcda32a551bca3814ba152f12ea7af