Merge branch '11718-crunch-run-docker-wait' closes #11718
authorPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 17 May 2017 17:08:35 +0000 (13:08 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 17 May 2017 17:08:35 +0000 (13:08 -0400)

Trivial merge