Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
…by#3733 This is a workaround for mingw-w64 (5.3.1) bug.
- Loading branch information
…by#3733 This is a workaround for mingw-w64 (5.3.1) bug.