*** empty log message ***

diff --git a/THANKS b/THANKS
index 81724d6..3f61439 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -11,6 +11,7 @@ Charles Karney: karney@pppl.gov
 Eirik Fuller: eirik@netcom.com
 Eli Zaretskii: eliz@is.elta.co.il
 Emile LeBlanc: leblanc@math.toronto.edu
+François Pinard: pinard@iro.umontreal.ca
 Galen Hazelwood: galenh@micron.net
 Greg McGary: gkm@eng.ascend.com
 Hugh Daniel: hugh@xanadu.com