diff --git a/doc/THANKS b/doc/THANKS index f952efb48..0f7f65b79 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -208,6 +208,9 @@ Alexander Hagenah Dennis Hecken for reporting a minor bug +Choi Ho + for reporting a minor bug + Jorge Hoya for suggesting a minor enhancement