Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This was discovered by _bodya and reported in the IRC channel. Everything worked fine as these scripts are always executed as shell scripts. Closes #1728
- Loading branch information