dune-grid-howto issueshttps://gitlab.dune-project.org/core/dune-grid-howto/-/issues2019-04-05T17:09:06Zhttps://gitlab.dune-project.org/core/dune-grid-howto/-/issues/4The Manual still talks about EntityPointer2019-04-05T17:09:06ZJö Fahlkejorrit@jorrit.deThe Manual still talks about EntityPointerNoted by @lasse.hinrichsen in !32Noted by @lasse.hinrichsen in !32