diff --git a/doc/THANKS b/doc/THANKS index 86915b631..854892c32 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -547,6 +547,9 @@ ToR ultramegaman for reporting a minor bug +Vinicius + for reporting a minor bug + wanglei for reporting a minor bug