From 13a31605608abc1813bfb3ca0ee42c6384f00eb0 Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Fri, 12 Jul 2019 22:56:53 +0200
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index 9cc99c558..1bb53fcad 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1525,3 +1525,4 @@ Gerald Migely
 Mark Schmidt
 Hendrik Goessaert
 Arturas Giedraitis
+Paul Vernon