From 4dfbb9e5975ad26ec8ceaa44403ba70e21927822 Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Fri, 26 Jan 2018 19:20:22 +0100
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index 953be65e5..3997f5c10 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1359,3 +1359,4 @@ Gary Jones
 Benoit Gruson
 Petr Kysela
 Sebastien Jehan
+Jean Mathieu
-- 
2.11.4.GIT