Admin/isatest/isatest-settings
changeset 47309 9d02327ede56
parent 47214 dd04c8173bb2
child 47707 7a316fef84a4
--- a/Admin/isatest/isatest-settings	Tue Apr 03 16:26:48 2012 +0200
+++ b/Admin/isatest/isatest-settings	Tue Apr 03 16:45:44 2012 +0100
@@ -25,7 +25,8 @@
 hoelzl@in.tum.de \
 krauss@in.tum.de \
 noschinl@in.tum.de \
-kuncar@in.tum.de"
+kuncar@in.tum.de \
+ns441@cam.ac.uk"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log