From 337eeeb33a11e514def6dadfe41861fc4544f90c Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 5 Oct 2016 14:18:33 +0000
Subject: [PATCH]

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

diff --git a/doc/CREDITS.txt b/doc/CREDITS.txt
index faead36b35..90dd79ad44 100644
--- a/doc/CREDITS.txt
+++ b/doc/CREDITS.txt
@@ -136,4 +136,5 @@ 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, Michele Mocciola.
+Nunn, Serban Georgescu, Julien Troufflard, Michele Mocciola, Matthijs Sypkens
+Smit.
-- 
GitLab