diff -r 6de58d947e57 -r b57523021938 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Sat Oct 22 23:43:01 2011 +0200
+++ b/Admin/isatest/isatest-settings	Sun Oct 23 17:12:14 2011 +1100
@@ -15,7 +15,6 @@
 kleing@cse.unsw.edu.au \
 nipkow@in.tum.de \
 berghofe@in.tum.de \
-schirmer@in.tum.de \
 lp15@cam.ac.uk \
 makarius@sketis.net \
 blanchet@in.tum.de \