commit a3db8e0413de739aa73b372262d9762134076cb0
author David Pursehouse <dpursehouse@digital.ai> Tue May 26 12:09:53 2020 +0900
committer Luca Milanesio <luca.milanesio@gmail.com> Tue May 26 10:15:36 2020 +0100
tree 645b7cb88079ad819ad0103449bf67f7a01d4ac5
parent c2e987d28a1f7cf5fd1c09e4f7758fbb941e4556

Set Gerrit to 3.1.5

Change-Id: Idcd1ab44d6f935501dc45c8abd6000cbfb55dfe2

fpm/Makefile

diff --git a/fpm/Makefile b/fpm/Makefile
index a0ae742..cf9eeea 100644
--- a/fpm/Makefile
+++ b/fpm/Makefile
@@ -1,5 +1,5 @@
-VERSION=3.1.4
-WAR_VERSION=3.1.4
+VERSION=3.1.5
+WAR_VERSION=3.1.5
 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 51d3c63..cd396c6 100644
--- a/macOS/Makefile
+++ b/macOS/Makefile
@@ -1,4 +1,4 @@
-VERSION := 3.1.4
+VERSION := 3.1.5
 
 all: server