Commit 32122170 authored by Till Brehm's avatar Till Brehm

Merge branch 'shebang' into 'master'

Use env in bash scripting shebangs

See merge request !887
parents a240d361 d3ecb3df
Pipeline #722 passed with stage
in 2 minutes and 30 seconds