*** empty log message ***

diff --git a/THANKS b/THANKS
index 49b4ce0a605b710d5e6fb5a2b522efd65a819249..3a42e90e4c4a33ac4db8675bd34b5e8458735368 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -321,6 +321,7 @@ Paul Jarc                           prj@po.cwru.edu
 Paul Nevai                          nevai@ops.mps.ohio-state.edu
 Paul Sauer                          paul@alexa.com
 Paul Slootman                       paul@debian.org
+Paul Worrall                        paul@basilisk.uklinux.net
 Pawel Prokop                        pablo@wizard.ae.krakow.pl
 Per Cederqvist                      ceder@lysator.liu.se
 Per Kristian Hove                   perhov@math.ntnu.no