From 96892db80bbcaa801f70a84844d3fc403274c78f Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Thu, 2 Jul 2020 00:02:34 +0200
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index d8f4c408d..31fba06a8 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1793,3 +1793,4 @@ Carlos Marcal
 d@taweb
 Justin Digby
 Hermann Vocat
+Michael Francini