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