Merge branch 'feature/indexset-expose-deleted-copy-constr' into 'master' (!524) · Merge requests · Core Modules / dune-grid · GitLab

Markus Blatt requested to merge cherry-pick-6b6c70dc into releases/2.8 Jul 27, 2021

[idindexset] Expose deleted copy constructor/assignment operator

See merge request !512 (merged)

(cherry picked from commit 6b6c70dc)

435e8130 [idindexset] Expose deleted copy constructor/assignment operator