diff --git a/THANKS b/THANKS index c99eb6634..8850dca56 100644 --- a/THANKS +++ b/THANKS @@ -208,10 +208,10 @@ Mattias Wadenstein maswan@acc.umu.se Matthias Urlichs smurf@noris.de Meelis Roos mroos@tartu.cyber.ee Michael ??? michael@roka.net -Michael J. Croghan mcroghan@usatoday.com Michael Deutschmann michael@talamasca.ocis.net Michael Hasselberg mikelh@zonta.ping.de Michael Hohn hohn@math.utah.edu +Michael J. Croghan mcroghan@usatoday.com Michael Stone mstone@debian.org Michael Stutz stutz@dsl.org Michael Veksler mveksler@techunix.technion.ac.il