From 6b06ee27416e19b57946b5a68815c749dc78695f Mon Sep 17 00:00:00 2001 From: Luca Saiu Date: Wed, 30 Nov 2022 22:14:26 +0100 Subject: [PATCH] release script: very minor change --- release | 6 ++++++ 1 file changed, 6 insertions(+) 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 <