Add Ziggy's new ID.

diff --git a/v7/src/etc/usermap b/v7/src/etc/usermap
index a26f59714a94311ad31688b86d22ed5e2f90f553..cab998aa203278a38226d715644bedabf2d68935 100644 (file)
--- a/v7/src/etc/usermap
+++ b/v7/src/etc/usermap
@@ -7,6 +7,7 @@ cph:'Chris Hanson <edu/mit/csail/cph>'
 gjr:'Guillermo J. Rozas <edu/mit/csail/zurich/gjr>'
 gjs:'Gerald Jay Sussman <edu/mit/gjs>'
 hal:'Hal Abelson <edu/mit/hal>'
+ihtfisp:'Michael R. Blair <edu/mit/csail/zurich/ziggy>'
 jacob:'Jacob Katzenelson <edu/mit/csail/zurich/jacob>'
 jawilson:'Jason Wilson <edu/mit/csail/zurich/jawilson>'
 jbank:'Joe Bank <edu/mit/csail/zurich/jbank>'