summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 0fa1a1b6..70e03546 100644
--- a/THANKS
+++ b/THANKS
@@ -107,6 +107,7 @@ Mike Frysinger vapier@gentoo.org
Mike Howard mike@clove.com
Mike Lijewski lijewski@theory.tc.cornell.edu
Mike R. mroberge@aol.com
+Mike Stump mikestump@comcast.net
Mikhail Teterin Mikhail.Teterin@murex.com
Nelson H. F. Beebe beebe@math.utah.edu
Nick S. Kanakakorn skanan@otl.scu.edu