Merge branch '7181-crunch-missing-git' closes #7181
authorPeter Amstutz <peter.amstutz@curoverse.com>
Thu, 24 Sep 2015 20:36:59 +0000 (16:36 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Thu, 24 Sep 2015 20:36:59 +0000 (16:36 -0400)

Trivial merge