*** empty log message ***

diff --git a/THANKS b/THANKS
index 86700633cc02c845179b558935247284a26870b9..1f6d45457fab4b16cec588d614d8fb04d9489287 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -217,6 +217,7 @@ Jim Dennis                          jimd@starshine.org
 Joakim Rosqvist                     dvljrt@cs.umu.se
 Jochen Hein                         jochen@jochen.org
 Joe Orton                           joe@manyfish.co.uk
+Johan Boule                         bohan@bohan.dyndns.org
 Johan Danielsson                    joda@pdc.kth.se
 John Bley                           jbb6@acpub.duke.edu
 John David Anglin                   dave.anglin@nrc.ca