Commit c8022ed9 authored Sep 18, 2018 by Andreas Klöckner

Merge branch 'mingw' into 'master'

MinGW fixes

See merge request inducer/pyopencl!52