*** empty log message ***

diff --git a/THANKS b/THANKS
index dbf29b46d0c885511db9c74911ae7d921074ef57..50b41049c8df027e523b26169be5179f41a945bc 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -156,6 +156,7 @@ Ian Jackson                         ijackson@chiark.greenend.org.uk
 Ian Lance Taylor                    ian@cygnus.com
 Ian Turner                          vectro@pipeline.com
 Iida Yosiaki                        iida@gnu.org
+Ivo Timmermans                      ivo@debian.org
 James                               james@albion.glarp.com
 James Antill                        jmanti%essex.ac.uk@seralph21.essex.ac.uk
 James Sneeringer                    jvs@ocslink.com