# HG changeset patch
# User wenzelm
# Date 1115583492 -7200
# Node ID b74dfcdeac1b64bda556c390cca1e2aaf8e93896
# Parent  817ac93ee7862a6dd4aed0263a5efc1748450377
MAILTO: makarius@sketis.net

diff -r 817ac93ee786 -r b74dfcdeac1b Admin/isatest-check
--- a/Admin/isatest-check	Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-check	Sun May 08 22:18:12 2005 +0200
@@ -16,7 +16,7 @@
 ## global settings
 
 # send mail to:
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
 
 ADMIN="berghofe@in.tum.de"
 
diff -r 817ac93ee786 -r b74dfcdeac1b Admin/isatest-doc
--- a/Admin/isatest-doc	Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-doc	Sun May 08 22:18:12 2005 +0200
@@ -11,7 +11,7 @@
 . ~/.bashrc
 
 ## settings
-MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de haftmann@in.tum.de # berghofe@in.tum.de lp15@cam.ac.uk"
+MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de haftmann@in.tum.de berghofe@in.tum.de lp15@cam.ac.uk makarius@sketis.net"
 
 DOCDIR=$HOME/Doc
 DISTPREFIX=~/tmp/isadist
diff -r 817ac93ee786 -r b74dfcdeac1b Admin/isatest-makedist
--- a/Admin/isatest-makedist	Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-makedist	Sun May 08 22:18:12 2005 +0200
@@ -12,7 +12,7 @@
 HOME=/usr/stud/isatest
 
 ## global settings
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
 
 TMP=/tmp/isatest-makedist.$$
 MAIL=$HOME/bin/pmail