Merge branch release-5-1 into release-2016
[alexxy/gromacs.git] / docs / dev-manual / releng / jenkins-howto.rst