diff options
| -rwxr-xr-x | devscripts/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index cf5784e8c..05c9f8bfd 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # IMPORTANT: the following assumptions are made # * the GH repo is on the origin remote |