# HG changeset patch
# User krauss
# Date 1179834037 -7200
# Node ID c5b896d9788c40e0395f140907f1c7ef9b351a94
# Parent  cdfff0241c12c9ef37c713a06e48733627b15602
regression tests: send failure reports to krauss@in.tum.de, too

diff -r cdfff0241c12 -r c5b896d9788c Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Tue May 22 07:29:49 2007 +0200
+++ b/Admin/isatest/isatest-settings	Tue May 22 13:40:37 2007 +0200
@@ -11,7 +11,7 @@
 HOME=/home/isatest
 
 ## send email on failure to
-MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk 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 makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log