From fd4d096058a4a2e33cb28af696336eac93bce9ac Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Wed, 20 Nov 2019 23:43:58 +0100
Subject: [PATCH] Update CREDITS.txt

---
 CREDITS.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CREDITS.txt b/CREDITS.txt
index 66a2b3438..8b238f4a9 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1645,3 +1645,4 @@ Wojciech Winiarski
 James A Davey
 James Donelson
 David Jolly
+Domingos S. Fonseca M.