diff --git a/THANKS b/THANKS index d097547649e..66a20bcd469 100644 --- a/THANKS +++ b/THANKS @@ -18,6 +18,7 @@ infrastructure help: Christian Grothoff Konrad Hinsen Brandon Invergo + Anders Jonsson Jeffrin Jose Kete Daniel KochmaƄski