summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-05-22 18:09:04 +0200
committerAkim Demaille <akim.demaille@gmail.com>2019-05-22 18:09:04 +0200
commit9f26e6d6b35fd844e451b087fcac6e70703a5c16 (patch)
treed40ca9b90f30d734a5f1f7af36574a860a3819b0 /THANKS
parent8d3e782e05ee71a2ada32217f67121515956057a (diff)
downloadbison-9f26e6d6b35fd844e451b087fcac6e70703a5c16.tar.gz
thanks: fix an address
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index e7ddd751..14a26d76 100644
--- a/THANKS
+++ b/THANKS
@@ -181,7 +181,7 @@ Tom Tromey tromey@cygnus.com
Tommy Nordgren tommy.nordgren@chello.se
Troy A. Johnson troyj@ecn.purdue.edu
Tys Lefering gccbison@gmail.com
-Uxio Prego uxio.prego@gmail.com
+Uxio Prego uxio@uma.es
Valentin Tolmer nitnelave1@gmail.com
wcventure wcventure@126.com
Victor Khomenko victor.khomenko@newcastle.ac.uk