Skip to content

[!55] Properly initialize members of LeafIndexSet

Timo Koch requested to merge cherry-pick-26dd3047 into releases/2.6

Merge branch 'fix/leafindexset-intitializer-list' into 'master'

See merge request extensions/dune-foamgrid!55

(cherry picked from commit 26dd3047)

26c6ee2c Properly initialize members of LeafIndexSet

Merge request reports