changing sh script because of version of sh on debian#122
Merged
willmeister merged 2 commits intomasterfrom Apr 29, 2020
Merged
changing sh script because of version of sh on debian#122willmeister merged 2 commits intomasterfrom
willmeister merged 2 commits intomasterfrom