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 388c08f40..b5dadefc0 100644
--- a/THANKS
+++ b/THANKS
@@ -9,3 +9,4 @@ Miles Bader: miles@gnu.ai.mit.edu
Peter Eriksson: peter@ifm.liu.se
Charles Karney: karney@pppl.gov
Santiago Vila Doncel: sanvila@ctv.es
+Marcus Daniels: marcus@sysc.pdx.edu