Merge branch '10655-arvbash' closes #10655
authorPeter Amstutz <peter.amstutz@curoverse.com>
Fri, 2 Dec 2016 18:17:33 +0000 (13:17 -0500)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Fri, 2 Dec 2016 18:17:33 +0000 (13:17 -0500)

Trivial merge