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