Skip to content

Revert "Work around interface change in dune-localfunctions"

lh1887 requested to merge bugfix/revert-localfunctions-interface-change into master

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

Merge request reports