From f40327a1ff5463fca63e83715bddac55abcb0687 Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Fri, 10 Apr 2020 19:46:08 +0200
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index 128250e63..b84116363 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1712,3 +1712,4 @@ Julio Margarido
 Uwe Muendelein
 James Jewitt
 Daniel Ferreira
+Michael Charlston