Version 7.1.29.

joaomlourenco · Sep 8, 2024 · 9703618 · 9703618
1 parent dd040d9
commit 9703618
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -199,6 +199,7 @@ endif
 # merge, tag and push
 define mtp
 	make clean
+	echo "VERSION IS $(VERSION)"
 	git commit --all --message "Version $(VERSION)."
 	git checkout main
 	git pull