diff options
-rw-r--r-- | ci/update_version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh index 4376a8006..97fe6ae84 100644 --- a/ci/update_version.sh +++ b/ci/update_version.sh @@ -28,4 +28,4 @@ if [ "$1" == "push" ] ; then git push origin $TAG git push origin $CIRCLE_SHA1:refs/heads/master$SUFFIX fi - + |