summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-06-27 17:03:28 +0200
committerAkim Demaille <akim.demaille@gmail.com>2020-06-27 17:04:50 +0200
commitd796e11f8f7d459408824f0d2c8174e3f4715f84 (patch)
tree356a2cfa478062cd6d67adb35bf1a411e18d1ec9 /THANKS
parent0895858d8e0d1fa66c6dd0d2e45416488d7de513 (diff)
downloadbison-d796e11f8f7d459408824f0d2c8174e3f4715f84.tar.gz
news: fixes
Reported by Jacob L. Mandelson. * NEWS: here.
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