# HG changeset patch
# User kleing
# Date 1120112576 -7200
# Node ID 491d8dbdb3b8eec09c74061a4926ab997eeb814b
# Parent  e665dafdd2b848df8c23f5a2f842920fd3690ee3
use kleing@cse instead of kleing@in.tum.de

diff -r e665dafdd2b8 -r 491d8dbdb3b8 Admin/isatest-settings
--- a/Admin/isatest-settings	Thu Jun 30 05:27:40 2005 +0200
+++ b/Admin/isatest-settings	Thu Jun 30 08:22:56 2005 +0200
@@ -11,7 +11,7 @@
 HOME=/usr/stud/isatest
 
 ## send email on failure to
-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"
+MAILTO="kleing@cse.unsw.edu.au 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"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log