+if [ "$name" == "leroyc" ]; then
+ name="colin";
+fi;
+if [ "$name" == "torte" ]; then
+ name="thorsten";
+fi;
+if [ "$name" == "dinh" ]; then
+ name="hoa";
+fi;
+if [ "$name" == "f" -o "$name" == "darkok" ]; then
+ name="darko";
+fi;
+if [ "$name" == "msp" ]; then
+ name="martin";
+fi;
+if [ "$name" == "devel" ]; then
+ name="mones";
+fi;
+if [ "$name" == "hb" ]; then
+ name="holger";
+fi;
+if [ "$name" == "salvatore" ]; then
+ name="iwkse";
+fi;
+
+if [ "$name" == "corn" ]; then
+ name="pawel";
+fi;
+
+log="`date -u +%Y-%m-%d` [$name]\t$nextsversion\n\n"