Skip to content

Avoid deprecated types

Dominic Kempf requested to merge avoid-deprecated-types into master

Adapt to renamed types in dune-grid that are now removed.

Merge request reports