Merge pull request #584 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Fri, 29 May 2015 11:27:20 +0000 (13:27 +0200)
committerwernsaar <wernsaar@googlemail.com>
Fri, 29 May 2015 11:27:20 +0000 (13:27 +0200)
commit319f3a0451a9953f0af7ed8af95115045c06cae3
tree5f62bef707d07d22072286b36518ff332f289bcb
parentf38cb67ca813c1c41b7e23795750ced97d794554
parent02c7766f687c586359f3e698ef4aede735cf626c
Merge pull request #584 from wernsaar/develop

bugfixes, to build benchmarks with mingw on Windows OS