Skip to content

Adapt to recent changes in the Dune core

Sander, Oliver requested to merge update-to-more-core-changes into master

A few deprecated macros have been removed there.

Merge request reports