Merge branch 'fix/issue-183-skipped-tests' into 'master' ref:core/dune-common Fixes [#183]. See merge request [!755] [#183]: gitlab.dune-project.org/NoneNone/issues/183 [!755]: gitlab.dune-project.org/core/dune-common/merge_requests/755 Closes #183