Skip to content

Avoid pessimizing move warning

Dominic Kempf requested to merge pessimizing-move-warnings into master

This change makes the dune-pdelab-tutorials warning free.

Merge request reports