*** empty log message ***

diff --git a/THANKS b/THANKS
index 2f0d1c39c0c7c4796868b0f0eeb1b447785dcb5f..9c9d3f29ea51b089dbd8a60b58da17cda3ae573d 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -124,6 +124,7 @@ John Roll                           john@panic.harvard.edu
 John Salmon                         johns@mullet.anu.edu.au
 John Summerfield                    summer@OS2.ami.com.au
 Joseph S. Myers                     jsm28@cam.ac.uk
+Jochen Hein                         jochen@jochen.org
 jvogel                              jvogel@linkny.com
 Jürgen Fluk                         louis@dachau.marco.de
 Kai-Uwe Rommel                      rommel@informatik.tu-muenchen.de