Add entry for "allen".

diff --git a/v7/src/etc/usermap b/v7/src/etc/usermap
index e8d37a230d1dde358fd639ff3e3cbbb727a2e3de..f9ffc7cb7ed34442f2a00149a9e31945ea0043e5 100644 (file)
--- a/v7/src/etc/usermap
+++ b/v7/src/etc/usermap
@@ -1,4 +1,5 @@
 adams:'Stephen Adams <adams@zurich.csail.mit.edu>'
+allen:'Don Allen <dca@zurich.csail.mit.edu>'
 arthur:'Arthur Gleckler <arthur@zurich.csail.mit.edu>'
 bal:'Brian A. LaMacchia <bal@zurich.csail.mit.edu>'
 boogles:'Brian K. Zuzga <boogles@zurich.csail.mit.edu>'