Skip to content

Revert "Work around interface change in dune-localfunctions"

This reverts commit 3b8e23a8. The interface in dune-localfunctions was changed once again

Merge request reports