*** empty log message ***

diff --git a/THANKS b/THANKS
index 44b7b020f4d1408297c33f3e4b7de89521ad5b93..60de9e4ffd7af9ff7c89025df67e9da462861ea5 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -97,6 +97,7 @@ Colin Plumb                         colin@nyx.net
 Colin Watson                        cjw44@riva.ucam.org
 Collin Rogowski                     collin@rogowski.de
 Cray-Cyber Project                  http://www.cray-cyber.org
+Cyril Bouthors                      cyril@bouthors.org
 Dale Scheetz                        dwarf@polaris.net
 Dan Hagerty                         hag@gnu.ai.it.edu
 Dan Jacobson                        http://www.geocities.com/jidani