--- a/Admin/isatest-makedist Mon May 23 11:14:58 2005 +0200
+++ b/Admin/isatest-makedist Mon May 23 12:09:30 2005 +0200
@@ -12,7 +12,7 @@
HOME=/usr/stud/isatest
## global settings
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net haftmann@in.tum.de"
TMP=/tmp/isatest-makedist.$$
MAIL=$HOME/bin/pmail