Skip to content

change shebang to use /bin/sh

Antoine Fontaine requested to merge proper-shebang into master

This script is posix sh. So it may as well use the more common alternative.

Edited by Antoine Fontaine

Merge request reports