*** empty log message ***

diff --git a/THANKS b/THANKS
index f8b0da2dbfea085e3f3cc8cf8f4fd5099d69381f..e241a15bce72a29d1d99831badd011b36023199b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -86,6 +86,7 @@ Gary Anderson                       ganderson@clark.net
 Gaël Quéri                          gqueri@mail.dotcom.fr
 Geoff Kuenning                      geoff@cs.hmc.edu
 Geoff Odhner                        geoff@franklin.com
+Gerhard Poul                        gpoul@gnu.org
 Germano Leichsenring                germano@jedi.cs.kobe-u.ac.jp
 GOTO Masanori                       gotom@debian.or.jp
 Greg McGary                         gkm@gnu.org