Marc Jansen 82ece517f6 misc: use /usr/bin/env bash to increase portability (#1923)		2019-11-03 22:29:16 +08:00
..
prerelease.sh	misc: use /usr/bin/env bash to increase portability (#1923)	2019-11-03 22:29:16 +08:00