# HG changeset patch
# User blanchet
# Date 1234775480 -3600
# Node ID 7dac794eec91d59c78c3f50b42e7f6d6536ff83b
# Parent  06efd6e731c62a3b3d45c93cbefd46c1034da9b6
Added myself to testing list.

diff -r 06efd6e731c6 -r 7dac794eec91 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Wed Feb 11 11:22:42 2009 -0800
+++ b/Admin/isatest/isatest-settings	Mon Feb 16 10:11:20 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"
+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"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log