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 9961863c2..84bbe620b 100644
--- a/THANKS
+++ b/THANKS
@@ -4,6 +4,7 @@ The rest of the addresses are still in the ChangeLog.
Achim Blumensath: blume@corona.oche.de
aldomel: aldomel@ix.netcom.com
Akim Demaille: demaille@inf.enst.fr
+Andreas Jaeger: jaeger@gnu.org
Andreas Schwab: schwab@issan.informatik.uni-dortmund.de
Andries Brouwer: Andries.Brouwer@cwi.nl
Arne Henrik Juul: arnej@imf.unit.no