Skip to content

Revert "Merge branch 'issue/remove-to-unique-ptr' into 'master'"

Robert K requested to merge revert-4751a230 into master

This reverts merge request !116 (merged)

Merge, when core/dune-grid!497 (merged) was merged.

Merge request reports