Merge branch 'feature/doc-removal-of-entitypointer' into 'master' (!238) · Merge requests · Core Modules / dune-grid

Closed Martin Nolte requested to merge cherry-pick-9d77c363 into releases/2.6 7 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:51:54 7 years ago	Merge branch 'releases/2.6' into 'cherry-pick-9d77c363' #6640 cherry-pick-9d77c363 27d4e118		Stage: test	Download artifacts No artifacts found
Passed 01:20:15 7 years ago	Merge branch 'feature/doc-removal-of-entitypointer' into 'master' #5605 cherry-pick-9d77c363 20b73456		Stage: test	Download artifacts No artifacts found

Merge branch 'feature/doc-removal-of-entitypointer' into 'master'