Juan Garcia

Results 2 issues of Juan Garcia

I updated the docs for the User class and also fixed a bug/typo for the "banMember()".

On line 86 of the file which I have added #include std::mutex is being used, without including mutex it causes a compiler error, because namespace std has no member mutex.