diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index d097547649..66a20bcd46 100644 --- a/THANKS +++ b/THANKS @@ -18,6 +18,7 @@ infrastructure help: Christian Grothoff <christian@grothoff.org> Konrad Hinsen <konrad.hinsen@fastmail.net> Brandon Invergo <brandon@gnu.org> + Anders Jonsson <anders.jonsson@norsjovallen.se> Jeffrin Jose <ahiliation@yahoo.co.in> Kete <kete@ninthfloor.org> Daniel Kochmański <dkochmanski@hellsgate.pl> |