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

Fix some issues related to changes in dune-localfunctions

See merge request !10
5 jobs for master in 6 minutes and 15 seconds (queued for 3 seconds)