tree 1a48ca74c3c9e85f0b5b86f1419edaa9692b59d8
parent 7e35c45d5666eedd184746a8e8c034e0fa6f5d21
author Marco Miller <marco.miller@ericsson.com> 1579548717 -0500
committer Marco Miller <marco.miller@ericsson.com> 1579548764 -0500

Use Gerrit 3.1.2 in Dockerfile

Hence switch to the stable-3.1 branch for src/test/docker, too.

Add 'master' to the branch used in the CI job name for javamelody 3.1.

Change-Id: I7da3f55a30dff685ea54a70d451c352190e6dc86