Revert "Merge branch 'issue/remove-to-unique-ptr' into 'master'" (!117) · Merge requests · extensions / dune-alugrid · GitLab

Robert K requested to merge revert-4751a230 into master Jun 25, 2021

This reverts merge request !116 (merged)

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