Set Gerrit to 2.13.12

Change-Id: I185a2c30aabb120b40d08e0e540a643be621d7b6

centos/7/Dockerfile

diff --git a/centos/7/Dockerfile b/centos/7/Dockerfile
index 99c865a..a99e6d9 100644
--- a/centos/7/Dockerfile
+++ b/centos/7/Dockerfile
@@ -10,7 +10,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.7.0-openjdk
-RUN yum -y install gerrit-2.13.11
+RUN yum -y install gerrit-2.13.12
 
 USER gerrit
 RUN java -jar /var/gerrit/bin/gerrit.war init --batch --install-all-plugins -d /var/gerrit

ubuntu/14/Dockerfile

diff --git a/ubuntu/14/Dockerfile b/ubuntu/14/Dockerfile
index 87db121..1c12cb7 100644
--- a/ubuntu/14/Dockerfile
+++ b/ubuntu/14/Dockerfile
@@ -13,7 +13,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-7-jdk
-RUN apt-get -y install gerrit=2.13.11-1 && rm -f /var/gerrit/logs/*
+RUN apt-get -y install gerrit=2.13.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