summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2018-05-30 19:18:04 +0200
committerAkim Demaille <akim.demaille@gmail.com>2018-05-30 19:18:04 +0200
commit0ac08d2d6c0558b375764f957d1fb367f91ab24f (patch)
treeabc8907eafd56e79b2dc194258499c4e76528296 /THANKS
parent6053dcae59bee5d78ef0e541add9568673cfd025 (diff)
downloadbison-0ac08d2d6c0558b375764f957d1fb367f91ab24f.tar.gz
THANKS: update an address
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index c4a95f65..a5b29e96 100644
--- a/THANKS
+++ b/THANKS
@@ -61,7 +61,7 @@ Gilles Espinasse g.esp@free.fr
Goran Uddeborg goeran@uddeborg.se
Guido Trentalancia trentalg@aston.ac.uk
H. Merijn Brand h.m.brand@hccnet.nl
-Hans Åberg haberg@matematik.su.se
+Hans Åberg haberg-1@telia.com
Jan Nieuwenhuizen janneke@gnu.org
Jerry Quinn jlquinn@optonline.net
Jesse Thilo jthilo@gnu.org