Merge branch 'master' into master

pull/1582/head
Mika Rautio 2017-11-20 10:27:11 +02:00 committed by GitHub
commit 9f1dce8e57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -91,7 +91,7 @@ protected:
// -------------------------------------------------------------------
/** Report a validation warning. This won't throw an exception,
* control will return to the callera.
* control will return to the caller.
* @param msg Format string for sprintf().*/
void ReportWarning(const char* msg,...);