diff options
-rw-r--r-- | packaging/version | 2 | ||||
-rwxr-xr-x | packaging/version_bump_patch.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/packaging/version b/packaging/version index 2bf1c1cc..f90b1afc 100644 --- a/packaging/version +++ b/packaging/version @@ -1 +1 @@ -2.3.1 +2.3.2 diff --git a/packaging/version_bump_patch.sh b/packaging/version_bump_patch.sh index afd79fa8..b8d746a5 100755 --- a/packaging/version_bump_patch.sh +++ b/packaging/version_bump_patch.sh @@ -5,5 +5,5 @@ NEW_VERSION=$(awk -F'.' \ echo NEW_VERSION=$NEW_VERSION echo $NEW_VERSION > ./version git add ./version -git commit -m 'Bump version to $NEW_VERSION' +git commit -m "Bump version to $NEW_VERSION" git tag v_$NEW_VERSION |