commit 42199316a3a57cef34e32c054eda6ea44309cab0
author Luca Milanesio <luca.milanesio@gmail.com> Sat Dec 14 20:25:17 2019 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> Sat Dec 14 20:25:17 2019 +0000
tree 157cd13e234dddbb11625a895f72f0601d5b9043
parent 7091b44c92079b0e42eb6b89f9b62a58e5f370a1

Set Gerrit to 3.1.2

Change-Id: I9d3434b9b4eb972df10d611a0a294071b388acf5

fpm/Makefile

diff --git a/fpm/Makefile b/fpm/Makefile
index 6faf31e..396c6b8 100644
--- a/fpm/Makefile
+++ b/fpm/Makefile
@@ -1,5 +1,5 @@
-VERSION=3.1.1
-WAR_VERSION=3.1.1
+VERSION=3.1.2
+WAR_VERSION=3.1.2
 URL=https://gerrit-releases.storage.googleapis.com/gerrit-$(WAR_VERSION).war
 CI_URL=https://gerrit-ci.gerritforge.com
 RELEASE=1

macOS/Makefile

diff --git a/macOS/Makefile b/macOS/Makefile
index cf2b996..94793cc 100644
--- a/macOS/Makefile
+++ b/macOS/Makefile
@@ -1,4 +1,4 @@
-VERSION := 3.1.1
+VERSION := 3.1.2
 
 all: server