Update Miguel's email address.

diff --git a/THANKS b/THANKS
index 6cb0c3d1cdd94c9df286445f1fe529db54c27a53..414927bcee4da401979a121a7286bd4b887b5d02 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -6,7 +6,7 @@ Jan-Oliver Wagner       jan@intevation.de
 Johannes Poehlmann      jhp@caldera.de
 Jose C. García Sogo     jose@jaimedelamo.eu.org
 Mark Mutz               mutz@kde.org
-Miguel Coca            e970095@zipi.fi.upm.es
+Miguel Coca            mcoca@gnu.org
 Stéphane Corthésy       stephane@sente.ch
 Timo Schulz             twoaday@freakmail.de
 Tommy Reynolds          reynolds@redhat.com