*** empty log message ***

diff --git a/THANKS b/THANKS
index 5515018020fd42f9b38453c31ca9eeec4e17d24e..3c51c64902805e04b4cbdda1f7af36195b6bb079 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -339,6 +339,7 @@ Rick Sladkey                        jrs@world.std.com
 Rik Faith                           faith@cs.unc.edu
 Risto Kankkunen                     kankkune@lingsoft.fi
 Robert H. de Vries                  robert@and.nl
+Robert Millan                       zeratul2@wanadoo.es
 Rogier Wolff                        R.E.Wolff@BitWizard.nl
 Roland Huebner                      ro-huebner@gmx.de
 Roland Turner                       raz@raz.cx