Fixes for mingw (!744) · Merge requests · Core Modules / dune-common · GitLab

Christian Engwer requested to merge fixes-for-mingw into master Dec 28, 2019

We fix two general issues f the build-system regarding mingw/windows support.

@gruenich and again... can we get this into 2.7?

Edited Dec 28, 2019 by Christian Engwer