sync with HEAD

diff --git a/commitHelper b/commitHelper
index cb6cde3158ad2a83b6dd175b12d903e8a42f73f5..7acd7977319cf935b7f4b6260e882e3317d512f8 100644 (file)
--- a/commitHelper
+++ b/commitHelper
@@ -56,6 +56,9 @@ fi;
 if [ "$name" == "leroyc" ]; then
        name="colin";
 fi;
 if [ "$name" == "leroyc" ]; then
        name="colin";
 fi;

+if [ "$name" == "torte" ]; then
+       name="thorsten";
+fi;

 
 log="`date --utc +%Y-%m-%d` [$name]\t$nextsversion\n\n"
 for line in $files; do
 
 log="`date --utc +%Y-%m-%d` [$name]\t$nextsversion\n\n"
 for line in $files; do