@dernst @jeroen
dernst and jeroen don't use hardcoded bash path (#17)
1274658 Sep 11, 2019
don't use hardcoded bash path (#17)
1274658