From 26692b457bbeed8c8dd82ed88100e2c6e8249556 Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Tue, 12 Feb 2019 20:07:43 +0100
Subject: [PATCH] Update CREDITS.txt

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

diff --git a/CREDITS.txt b/CREDITS.txt
index 4b4f8e893..b02c82c9a 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1487,3 +1487,4 @@ Morgantech
 Marek Přikryl
 Peter Scott
 Ernst Camenzind
+Steve Robbins