[PPL-devel] [GIT] ppl/w3ppl(master): Small improvements.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: ff3ebc74002570690d1bf2f685fe6bd3c8e61a0c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ff3ebc74002570690d1bf2f685fe6bd3c8e61a0c

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 18 06:59:29 2009 +0200

Small improvements.

---

 bin/ppl_release |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/ppl_release b/bin/ppl_release
index 856d715..28a653b 100755
--- a/bin/ppl_release
+++ b/bin/ppl_release
@@ -106,9 +106,9 @@ build_sources() {
 	    error "Could not checkout ${BRANCH}"
     for x in `find ${SOURCE_DIRECTORY} -name ChangeLog`; do
       cat - ${x} > ${x}.new <<EOF
-${LONG_DATE}  Release Manager
+${LONG_DATE}  Roberto Bagnara <bagnara at cs.unipr.it>
 
-	* PPL ${RELEASE} Released.
+	* PPL ${RELEASE} released.
 
 EOF
       mv ${x}.new ${x} || \