# HG changeset patch # User wenzelm # Date 1332588149 -3600 # Node ID 187cac0885828ea6d4b905c469b17f7657b72b80 # Parent b846c299f412dce687e17f73f59ca5041c2beb3c more isatest subscribers; diff -r b846c299f412 -r 187cac088582 Admin/isatest/isatest-settings --- a/Admin/isatest/isatest-settings Fri Mar 23 16:16:35 2012 +0000 +++ b/Admin/isatest/isatest-settings Sat Mar 24 12:22:29 2012 +0100 @@ -22,7 +22,8 @@ bulwahn@in.tum.de \ hoelzl@in.tum.de \ krauss@in.tum.de \ -noschinl@in.tum.de" +noschinl@in.tum.de \ +kuncar@in.tum.de" LOGPREFIX=$HOME/log MASTERLOG=$LOGPREFIX/isatest.log