From 0c9944daa8769b275cef9e17cd6c3e82fc5f04df Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Tue, 20 Sep 2011 22:18:20 +0000
Subject: [PATCH] update for THANKS file

---
 doc/THANKS | 3 +++
 1 file changed, 3 insertions(+)

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