Merge branch '6135-docker-git-tag'
authorNico Cesar <nico@nicocesar.com>
Wed, 27 May 2015 14:16:55 +0000 (10:16 -0400)
committerNico Cesar <nico@nicocesar.com>
Wed, 27 May 2015 14:16:55 +0000 (10:16 -0400)
commit845e3998bb2b4175e947a20eea4ed530629a778b
treee3076059975ca55bd8758d959391e76386b36d24
parent1e7b6aa1f16e06b796e3ed3f66c48f38a9287a5d
parentb6a5513611786d2c0a513bac3ab2db00d84bf289
Merge branch '6135-docker-git-tag'

closes #6135

Conflicts:
jenkins/run-docker-tests.sh
jenkins/run-docker-tests.sh