From da04b3bb91eb261944fb4189e3cc42d8423b393a Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Fri, 2 Jun 2006 14:21:32 +0000
Subject: [PATCH] Add Ziggy's new ID.

---
 v7/src/etc/usermap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/v7/src/etc/usermap b/v7/src/etc/usermap
index a26f59714..cab998aa2 100644
--- 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>'
-- 
2.25.1