From 4090227c52be335c46c0991d1036352d9550b22f Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Thu, 21 Nov 2002 12:58:12 +0000 Subject: [PATCH] Add Miguel Coca . --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index f318f6cb..6cb0c3d1 100644 --- 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