2
0
Philipp Hagemeister 12 жил өмнө
parent
commit
55e286ba55
1 өөрчлөгдсөн 1 нэмэгдсэн , 1 устгасан
  1. 1 1
      devscripts/release.sh

+ 1 - 1
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