*** empty log message ***

diff --git a/THANKS b/THANKS
index 08663be989999ffc204a2a835d92b78feade753c..132615440aa8bfe10a48131296c99bce9793141f 100644 (file)
--- 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