*** empty log message ***

diff --git a/THANKS b/THANKS
index 85332d9d12e5797bb2b28674d576128c4f717a04..0738b902809fa87429b81986368b7ef95f5c33ca 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -344,6 +344,7 @@ Ross Alexander                      r.alexander@auckland.ac.nz
 Ross Paterson                       rap@doc.ic.ac.uk
 Ross Ridge                          rridge@calum.csclub.uwaterloo.ca
 Sami Farin                          sfarin@ratol.fi
+Samuel Tardieu                      sam@rfc1149.net
 Samuli Karkkainen                   Samuli.Karkkainen@hut.fi
 Sander van Malssen                  svm@kozmix.ow.nl
 Santiago Vila Doncel                sanvila@unex.es