*** empty log message ***

diff --git a/THANKS b/THANKS
index 69a624f59119ab77496d1b330ae9d1cad78f8ba4..39ea28f6330c24ca0318fc74de2ed6e4a7387c87 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -154,6 +154,7 @@ John Roll                           john@panic.harvard.edu
 John Salmon                         johns@mullet.anu.edu.au
 John Summerfield                    summer@OS2.ami.com.au
 Joost van Baal                      joostvb@xs4all.nl
+Jorge Stolfi                        stolfi@ic.unicamp.br
 Joseph S. Myers                     jsm28@cam.ac.uk
 Jungshik Shin                       jshin@pantheon.yale.edu
 Jürgen Fluk                         louis@dachau.marco.de