Merge branch '7816-crunch2-exec' closes #7816
authorPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 20 Jan 2016 16:04:51 +0000 (11:04 -0500)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 20 Jan 2016 16:04:51 +0000 (11:04 -0500)

Trivial merge