Merge branch '8232-docker-remove-obsolete' closes #8232
authorPeter Amstutz <peter.amstutz@curoverse.com>
Tue, 30 Aug 2016 19:34:14 +0000 (15:34 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Tue, 30 Aug 2016 19:34:14 +0000 (15:34 -0400)
commit5d709747ad9336bde786373fe314c128afd50782
treeb486e1616a38b4805473fd94d3c3a6a40648544d
parent6fb70ef1e1398c30137580c8417e98693dfbfc1d
parent4a466cd2caf121678a1d46d049c5b1e5477b6d50
Merge branch '8232-docker-remove-obsolete' closes #8232