Commit 0f02b8a5 authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

Merge branch 'issue/fix-issues-with-2-8' into 'master'

Fix some issues related to changes in dune-localfunctions

See merge request !10
parents cafde68d b9fab896
Pipeline #6681 passed with stage
in 6 minutes and 15 seconds