diff --git a/addins/7.1.sh b/addins/7.1.sh new file mode 100644 index 0000000000..0ddb8340a1 --- /dev/null +++ b/addins/7.1.sh @@ -0,0 +1,2 @@ +#!/bin/bash +GIT_BRANCH="release/7.1"