# HG changeset patch
# User haftmann
# Date 1281346712 -7200
# Node ID b32a443611868dd652472864b7f0510e3e44b728
# Parent  275064b5ebf95f906f5397733ab49f7e7cb3caff
added Lars Noschinski to isatest report

diff -r 275064b5ebf9 -r b32a44361186 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Sun Aug 08 20:51:02 2010 +0200
+++ b/Admin/isatest/isatest-settings	Mon Aug 09 11:38:32 2010 +0200
@@ -11,7 +11,20 @@
 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 krauss@in.tum.de blanchet@in.tum.de bulwahn@in.tum.de boehmes@in.tum.de hoelzl@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 \
+blanchet@in.tum.de \
+boehmes@in.tum.de \
+bulwahn@in.tum.de \
+haftmann@in.tum.de \
+hoelzl@in.tum.de \
+krauss@in.tum.de \
+noschinl@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log