tree e2ad130ea716b4d37bc0b40d8f3081b69e3b7d54
parent 613e25e1b71daa5c4d13719b164026913d147108
author Luca Milanesio <luca.milanesio@gmail.com> 1573124538 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1573135924 +0000

Set next version to 3.1

Next forthcoming Gerrit version is 3.1 and thus the plugin-manager
should return master plugins when the version string starts with
3.1 *ONLY*.

Bug: Issue 11880
Change-Id: I49e193c75d2937b2ddb8dd67c1d84bf8b4e52bb9