update for THANKS file

stamparm · stamparm · commit 0c9944daa876 · 2011-09-20T22:18:20.000Z
diff --git a/doc/THANKS b/doc/THANKS
@@ -414,6 +414,9 @@ Andrea Rossi <andyroyalbattle@yahoo.it>
     for reporting a minor bug
     for suggesting a feature
 
+Frederic Roy <frederic.roy@telindus.fr>
+    for reporting a couple of bugs
+
 Vladimir Rutsky <rutsky.vladimir@gmail.com>
     for suggesting a couple of minor enhancements
 
