update for THANKS file

2026-10-12 02:22:55 +00:00 · 2011-09-20 22:18:20 +00:00
parent af94ac7f02
commit 0c9944daa8
1 changed files with 3 additions and 0 deletions
@@ -414,6 +414,9 @@ Andrea Rossi <[email protected]>
    for reporting a minor bug
    for suggesting a feature

+Frederic Roy <[email protected]>
+    for reporting a couple of bugs
+
 Vladimir Rutsky <[email protected]>
    for suggesting a couple of minor enhancements