*** empty log message ***

diff --git a/THANKS b/THANKS
index 36b34fa5db9c43ef067fa5ebfa546f5a9951a2e9..466784f23ceb7c50ec8d1d5626300ea26bf55c93 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -195,6 +195,7 @@ Noel Cragg                          noel@red-bean.com
 Olav Morkrid                        olav@funcom.com
 Paul Eggert                         eggert@twinsun.com
 Paul Nevai                          nevai@ops.mps.ohio-state.edu
+Paul Sauer                          paul@alexa.com
 Paul Slootman                       paul@debian.org
 Per Cederqvist                      ceder@lysator.liu.se
 Per Kristian Hove                   perhov@math.ntnu.no