1.1 --- a/Admin/isatest/isatest-settings	Tue Jan 25 09:45:45 2011 +0100
     1.2 +++ b/Admin/isatest/isatest-settings	Fri Jan 28 11:26:08 2011 +1100
     1.3 @@ -21,7 +21,6 @@
     1.4  blanchet@in.tum.de \
     1.5  boehmes@in.tum.de \
     1.6  bulwahn@in.tum.de \
     1.7 -haftmann@in.tum.de \
     1.8  hoelzl@in.tum.de \
     1.9  krauss@in.tum.de \
    1.10  noschinl@in.tum.de"