From d796e11f8f7d459408824f0d2c8174e3f4715f84 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 27 Jun 2020 17:03:28 +0200 Subject: news: fixes Reported by Jacob L. Mandelson. * NEWS: here. --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') 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 -- cgit v1.2.1