diff --git a/doc/THANKS b/doc/THANKS index 58c0554cb..ef01ec205 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -241,6 +241,9 @@ fufuh mariano for reporting a bug +Stuffe + for reporting a minor bug and a feature request + Sylphid for suggesting some features