# HG changeset patch
# User haftmann
# Date 1116842970 -7200
# Node ID e38b2ec79a2e2b6f3c328b0ebd48bff12e62c2c1
# Parent  8e15ff79851ac5d50b97677ddba5affa2ef587f1
added email

diff -r 8e15ff79851a -r e38b2ec79a2e Admin/isatest-makedist
--- 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