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 e9bc2762..e38e3613 100644
--- a/THANKS
+++ b/THANKS
@@ -84,6 +84,7 @@ Guido Trentalancia trentalg@aston.ac.uk
H. Merijn Brand h.m.brand@hccnet.nl
Hans Ã…berg haberg-1@telia.com
Horst Von Brand vonbrand@inf.utfsm.cl
+Jacob L. Mandelson jlm-bbison@jlm.ofb.net
Jan Nieuwenhuizen janneke@gnu.org
Jannick thirdedition@gmx.net
Jeff Hammond jeff_hammond@acm.org