There is nothing bash specific here

/bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh

devscripts/release.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/bin/sh
 
 if [ -z "$1" ]; then echo "ERROR: specify version number like this: $0 1994.09.06"; exit 1; fi
 version="$1"