Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD.
- Loading branch information