1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index f318f6cb..6cb0c3d1 100644
--- a/THANKS
+++ b/THANKS
@@ -6,6 +6,7 @@ Jan-Oliver Wagner       [email protected]
 Johannes Poehlmann      [email protected]
 Jose C. Garc�a Sogo     [email protected]
 Mark Mutz               [email protected]
+Miguel Coca		[email protected]
 St�phane Corth�sy       [email protected]
 Timo Schulz             [email protected]
 Tommy Reynolds          [email protected]