1 files changed, 1 insertions, 1 deletions
diff --git a/mkdist.sh b/mkdist.sh
index bd6d957..664dff6 100755
--- a/mkdist.sh
+++ b/mkdist.sh
@@ -144,5 +144,5 @@ open /tmp
 
 echo
 echo "***********************************************************************"
-echo "Don't forget to push GIT repo to origin!"
+echo "Don't forget to push GIT repo (including tags!) to origin!"
 echo "***********************************************************************"