From 9f26e6d6b35fd844e451b087fcac6e70703a5c16 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Wed, 22 May 2019 18:09:04 +0200
Subject: [PATCH] thanks: fix an address

---
 THANKS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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