*** empty log message ***

diff --git a/THANKS b/THANKS
index b85da1d..3378910 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -300,6 +300,7 @@ Oliver Kiddle                       okiddle@yahoo.co.uk
 Ørn E. Hansen                       oehansen@daimi.aau.dk
 Oskar Liljeblad                     osk@hem.passagen.se
 Paul Eggert                         eggert@twinsun.com
+Paul Jarc                           prj@po.cwru.edu
 Paul Nevai                          nevai@ops.mps.ohio-state.edu
 Paul Sauer                          paul@alexa.com
 Paul Slootman                       paul@debian.org