*** empty log message ***

diff --git a/THANKS b/THANKS
index dbe1b23..08e0186 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -261,6 +261,7 @@ Paul Eggert                         eggert@twinsun.com
 Paul Nevai                          nevai@ops.mps.ohio-state.edu
 Paul Sauer                          paul@alexa.com
 Paul Slootman                       paul@debian.org
+Pawel Prokop                        pablo@wizard.ae.krakow.pl
 Per Cederqvist                      ceder@lysator.liu.se
 Per Kristian Hove                   perhov@math.ntnu.no
 Peter Eriksson                      peter@ifm.liu.se