# HG changeset patch
# User traytel
# Date 1411640854 -7200
# Node ID 07505e95db40d84bb56c1c9a721f197bdb8d23c1
# Parent  23124b918bfb41b7426b6d6f424d9e5b44b3f462
subscribe for isatest

diff -r 23124b918bfb -r 07505e95db40 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Thu Sep 25 09:01:14 2014 +0200
+++ b/Admin/isatest/isatest-settings	Thu Sep 25 12:27:34 2014 +0200
@@ -24,7 +24,8 @@
 krauss@in.tum.de \
 noschinl@in.tum.de \
 kuncar@in.tum.de \
-ns441@cam.ac.uk"
+ns441@cam.ac.uk \
+traytel@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log