Skip to content

Fix more warnings

Oliver Sander requested to merge fix-more-warnings into master

In particular, the ones found by core/dune-grid!542

Edited by Oliver Sander

Merge request reports