diff --git a/THANKS b/THANKS
index 08663be98..132615440 100644
--- a/THANKS
+++ b/THANKS
@@ -8,6 +8,7 @@ or if you'd prefer a different address be used, please let me know.
 ???                                 kytek@cybercomm.net
 Achim Blumensath                    blume@corona.oche.de
 Adam Klein                          aklein@debian.org
+Aharon Robbins                      arnold@skeeve.com
 Akim Demaille                       demaille@inf.enst.fr
 Alain Magloire                      alain@qnx.com
 Alan Iwi                            iwi@atm.ox.ac.uk