diff --git a/release b/release index ec2e0c15..6653a6e8 100755 --- a/release +++ b/release @@ -369,6 +369,12 @@ release () git commit -m "add trailing \"+\" sign to version after $version, prepend an empty line to NEWS" \ "$versionfile" NEWS git push --tags origin HEAD:"$branchname" + cat <