summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2000-07-19 21:00:03 +0000
committerJim Meyering <jim@meyering.net>2000-07-19 21:00:03 +0000
commit6fcabe7b2b7c837c0ed9d4b983797835066facb2 (patch)
treee35bbba49eab2f768065567c0697fe71110feb2f
parent271249026dcc261ef8d8a0fae0555c8d15518278 (diff)
downloadcoreutils-6fcabe7b2b7c837c0ed9d4b983797835066facb2.tar.xz
*** empty log message ***
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 5a226bd87..f8245d65a 100644
--- a/THANKS
+++ b/THANKS
@@ -188,6 +188,7 @@ Meelis Roos mroos@tartu.cyber.ee
Michael ??? michael@roka.net
Michael Deutschmann michael@talamasca.ocis.net
Michael Hasselberg mikelh@zonta.ping.de
+Michael Hohn hohn@math.utah.edu
Michael Stone mstone@debian.org
Michael Stutz stutz@dsl.org
Michael Veksler mveksler@techunix.technion.ac.il