1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 49b4ce0a6..3a42e90e4 100644
--- 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