*** empty log message ***

diff --git a/THANKS b/THANKS
index 80960032c9598d7fd0d61759650c7981811f1460..81d0b08055917b4982e6c1db7d3fae9313df2976 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -411,6 +411,7 @@ Sander van Malssen                  svm@kozmix.ow.nl
 Santiago Vila Doncel                sanvila@unex.es
 Savochkin Andrey Vladimirovich      saw@msu.ru
 Scott Lurndal                       slurn@griffin.engr.sgi.com
+Sébastien Maret                     smaret@umich.edu
 Shing-Shong Shei                    shei@cs.indiana.edu
 Soeren Sonnenburg                   sonnenburg@informatik.hu-berlin.de
 Solar Designer                      solar@owl.openwall.com