# HG changeset patch
# User krauss
# Date 1257506025 -3600
# Node ID c3971d3c6afd6f4b85ba15934e701c16c94659f4
# Parent  8f2e102f6628fa0784051b46cfd649cb488fcd09
added boehmes and hoelzl to isatest mailings

diff -r 8f2e102f6628 -r c3971d3c6afd Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Fri Nov 06 10:26:13 2009 +0100
+++ b/Admin/isatest/isatest-settings	Fri Nov 06 12:13:45 2009 +0100
@@ -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 krauss@in.tum.de blanchet@in.tum.de bulwahn@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 blanchet@in.tum.de bulwahn@in.tum.de boehmes@in.tum.de hoelzl@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log