[beast/temp-rc1] mkrelease.sh: adjust post-release 'master' and 'devel' branches for devel versioning

[Tim Janik <timj src gnome org>]

commit bb5ff50ef4be64170fcda0829071af196b2a0d0b
Author: Tim Janik <timj gnu org>
Date:   Thu Oct 9 17:30:29 2014 +0200

    mkrelease.sh: adjust post-release 'master' and 'devel' branches for devel versioning

 mkrelease.sh |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/mkrelease.sh b/mkrelease.sh
index 48447a4..8637b97 100755
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -387,8 +387,8 @@ done
   # push notes
   $needs_head_push && \
     CHASH=`git rev-list -n1 "$VERSION"`
-    msg2 "Note, push HEAD with:      # git push origin $CHASH:master"
-    msg2 "Note, update 'devel' with: # git checkout devel && git merge --ff-only $CHASH"
+    msg2 "Note, push HEAD with:      # git push origin master" # $CHASH
+    msg2 "Note, update 'devel' with: # git checkout devel && git merge --ff-only master" # $CHASH
   msg2 "Note, push tag with:       # git push origin '$VERSION'"
   msg2 "Done."
   exit