Add Miguel Coca <e970095@zipi.fi.upm.es>.

diff --git a/THANKS b/THANKS
index f318f6cbb578aa999cd2cf05b5d5b839b0f5f334..6cb0c3d1cdd94c9df286445f1fe529db54c27a53 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -6,6 +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
 Stéphane Corthésy       stephane@sente.ch
 Timo Schulz             twoaday@freakmail.de
 Tommy Reynolds          reynolds@redhat.com