tree 92eacc43314e80b2ac8f0e3bf955d17ca339add8
parent 0351c1ce269e1958c66eb7120d22dd5a97850e59
parent 83e35485d8b9756baf722243d54cd5563ccb5fc5
author Carlos Sanchez <carlos@apache.org> 1431597287 +0200
committer Carlos Sanchez <carlos@apache.org> 1431597287 +0200

Merge branch 'patch-2' of https://github.com/ggtools/jenkins-ci.org-docker into ggtools-patch-2