Set Gerrit to 2.15.12

Change-Id: I4b4b7305f78aa6bf25c2ee38153d602c45fc931a

centos/7/Dockerfile

diff --git a/centos/7/Dockerfile b/centos/7/Dockerfile
index f89ce10..4fe92a0 100644
--- a/centos/7/Dockerfile
+++ b/centos/7/Dockerfile
@@ -9,7 +9,7 @@
 # Install OpenJDK and Gerrit in two subsequent transactions
 # (pre-trans Gerrit script needs to have access to the Java command)
 RUN yum -y install java-1.8.0-openjdk
-RUN yum -y install gerrit-2.15.11-1  && rm -f /var/gerrit/logs/*
+RUN yum -y install gerrit-2.15.12-1  && rm -f /var/gerrit/logs/*
 
 USER gerrit
 RUN java -jar /var/gerrit/bin/gerrit.war init --batch --install-all-plugins -d /var/gerrit

ubuntu/16/Dockerfile

diff --git a/ubuntu/16/Dockerfile b/ubuntu/16/Dockerfile
index c3ee758..0459fdc 100644
--- a/ubuntu/16/Dockerfile
+++ b/ubuntu/16/Dockerfile
@@ -12,7 +12,7 @@
 # Install OpenJDK and Gerrit in two subsequent transactions
 # (pre-trans Gerrit script needs to have access to the Java command)
 RUN apt-get -y install openjdk-8-jdk
-RUN apt-get -y install gerrit=2.15.11-1 && rm -f /var/gerrit/logs/*
+RUN apt-get -y install gerrit=2.15.12-1 && rm -f /var/gerrit/logs/*
 
 USER gerrit
 RUN java -jar /var/gerrit/bin/gerrit.war init --batch --install-all-plugins -d /var/gerrit