diff --git a/doc/THANKS b/doc/THANKS
index 8a3375b74..6298ef60c 100644
--- 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