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 30a75674f..388c08f40 100644
--- a/THANKS
+++ b/THANKS
@@ -8,3 +8,4 @@ Emile LeBlanc: leblanc@math.toronto.edu
Miles Bader: miles@gnu.ai.mit.edu
Peter Eriksson: peter@ifm.liu.se
Charles Karney: karney@pppl.gov
+Santiago Vila Doncel: sanvila@ctv.es