*** empty log message ***

diff --git a/THANKS b/THANKS
index 132615440aa8bfe10a48131296c99bce9793141f..b85da1da24d16a08ddbf54865f963bba9901f130 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -8,7 +8,6 @@ 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
@@ -40,6 +39,7 @@ Antonio Rendas                      ajrendas@yahoo.com
 Ariel Faigon                        ariel@cthulhu.engr.sgi.com
 Arne H. Juul                        arnej@solan.unit.no
 Arne Henrik Juul                    arnej@imf.unit.no
+Arnold Robbins                      arnold@skeeve.com
 Arthur Pool                         pool@commerce.uq.edu.au
 Arun Sharma                         arun.sharma@intel.com
 Augey Mikus                         mikus@dqc.org