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