From a6d79494ce34f16ad55439ee4ee33515347da485 Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Thu, 10 Oct 2019 08:01:10 +0200
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index 71f28baff..ce815fc70 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1597,3 +1597,4 @@ Uwe Jordt
 Markus Goelzner
 Jean-Claude Etiemble
 Wojciech Winiarski
+Michael Fleming