summaryrefslogtreecommitdiff
path: root/THANKS.in
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS.in')
-rw-r--r--THANKS.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS.in b/THANKS.in
index 2bdeab5e3..28735948f 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -422,6 +422,7 @@ Michael J. Croghan mcroghan@usatoday.com
Michael J. Daniel michael.j.daniel@comcast.net
Michael McFarland sidlon@yahoo.com
Michael McLagan mmclagan@invlogic.com
+Michael Mol mikemol@gmail.com
Michael Piefel piefel@informatik.hu-berlin.de
Michael Steffens michael.steffens@s.netic.de
Michael Stutz stutz@dsl.org