Merge branch 'feature/deprecate-collective-headers' into 'master' ref:core/dune-common They will be removed after Dune 2.7. See merge request [!738] [!738]: gitlab.dune-project.org/core/dune-common/merge_requests/738