From 98dad5ca91a66239a75eed1d26fa47bbebec8615 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 1 May 2016 06:44:18 +0000
Subject: [PATCH]

---
 doc/CREDITS.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/CREDITS.txt b/doc/CREDITS.txt
index 7b96116048..356229ae9d 100644
--- a/doc/CREDITS.txt
+++ b/doc/CREDITS.txt
@@ -135,4 +135,4 @@ Dechaume, Jose Paulo Moitinho de Almeida, Thomas Pinchard, Corrado Chisari, Axel
 Hackbarth, Peter Wainwright, Jiri Hnidek, Thierry Thomas, Konstantinos Poulios,
 Laurent Van Miegroet, Shahrokh Ghavamian, Geordie McBain, Jose Paulo Moitinho de
 Almeida, Guillaume Demesy, Wendy Merks-Swolfs, Cosmin Stefan Deaconu, Nigel
-Nunn, Serban Georgescu, Julien Troufflard.
+Nunn, Serban Georgescu, Julien Troufflard, Michele Mocciola.
-- 
GitLab