in dune-fem.
enabled an automatic merge when the pipeline for 14f145f7 succeeds
merged
mentioned in commit f9a77c68