Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Maybe patched to compile on some Windows configurations.
(Maybe) Fixes Bugzilla #3001.
- Loading branch information