*** empty log message ***

diff --git a/THANKS b/THANKS
index e514b7b6048bfe6372decb8c796f3b89cba4ab32..e11b078fd20630aa9d8a4a728a12b625e0d7b264 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -271,6 +271,7 @@ Rik Faith                           faith@cs.unc.edu
 Risto Kankkunen                     kankkune@lingsoft.fi
 Robert H. de Vries                  robert@and.nl
 Rogier Wolff                        R.E.Wolff@BitWizard.nl
+Roland Huebner                      ro-huebner@gmx.de
 Ronald F. Guilmette                 rfg@netcom.com
 Ross Alexander                      r.alexander@auckland.ac.nz
 Ross Paterson                       rap@doc.ic.ac.uk