Merge branch 'crunch-dispatch-docker-bin-env' of https://github.com/wtsi-hgi/arvados...
authorTom Clegg <tom@curoverse.com>
Fri, 31 Jul 2015 04:25:23 +0000 (00:25 -0400)
committerTom Clegg <tom@curoverse.com>
Fri, 31 Jul 2015 04:25:23 +0000 (00:25 -0400)

Trivial merge