*** empty log message ***

diff --git a/THANKS b/THANKS
index bce56bb8864d05af7bab17569d5054d3084bb7cf..5f0ef585d6206dd33ff25a072126134b058ecf67 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -285,6 +285,7 @@ Vin Shelton                         acs@alumni.princeton.edu
 Volker Borchert                     bt@teknon.de
 Wayne Stewart                       wstewa@atl.com
 Wenjun Zheng                        zwj@yahoo.com
+Werner Almesberger                  Werner.Almesberger@epfl.ch
 Wichert Akkerman                    wichert@cistron.nl
 Will Edgington                      wedgingt@acm.org
 William Bader                       william@nscs.fast.net