Merge branch 'maint-0.3.0' into release-0.3.0
This commit is contained in:
commit
9ea09d15ab
|
@ -1,4 +1,4 @@
|
||||||
#! /bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
# use bash if it is available, as this script doesn't work well in non-bash sh
|
# use bash if it is available, as this script doesn't work well in non-bash sh
|
||||||
# this will be fixed in #19699
|
# this will be fixed in #19699
|
||||||
|
|
Loading…
Reference in New Issue