Learn more about cloning repositories
You have read-only access
Merge pull request #584 from wernsaar/develop bugfixes, to build benchmarks with mingw on Windows OS
