Hugo put me in credits, but I was already there :)

maximedenes · maximedenes · commit 935a2a52dc5e · 2015-01-15T06:55:01.000+01:00
diff --git a/CREDITS b/CREDITS
@@ -101,7 +101,6 @@ of the Coq Proof assistant during the indicated time:
   David Delahaye (INRIA, 1997-2002)
   Maxime Dénès (INRIA, 2013-now)
   Daniel de Rauglaudre (INRIA, 1996-1998)
-  Maxime Dénès (INRIA, 2013-now)
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
   Amy Felty (INRIA, 1993)
