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