diff --git a/CREDITS.txt b/CREDITS.txt index 7a774e77f..c1d4c0636 100644 --- a/CREDITS.txt +++ b/CREDITS.txt @@ -1513,3 +1513,4 @@ Rothermann, Kurt Antinoro Ferdinando Sam Day Roman Rychtarik +Pierre Malriq