# HG changeset patch
# User nipkow
# Date 1257326278 -3600
# Node ID 6f825ec18b4999c2577184a557efe1ba3520343e
# Parent  c0648609f5ba0995cd10dd34f3ba1090c03d3e22# Parent  e9de8d69c1b9f6b5ea7ec9e22bea7e09e9e35d41
merged

diff -r e9de8d69c1b9 -r 6f825ec18b49 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Wed Nov 04 10:17:43 2009 +0100
+++ b/Admin/isatest/isatest-settings	Wed Nov 04 10:17:58 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"
+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"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log