Skip to content
Snippets Groups Projects

Deprecate *collectivecommunication.hh headers.

Merged Deprecate *collectivecommunication.hh headers.
feature/deprecate-collective-headers into master
Merged Christoph Grüninger requested to merge feature/deprecate-collective-headers into master

They will be removed after Dune 2.7.

Merge request reports

Pipeline #23087 passed

Stage: test

Pipeline passed for cf4c6263 on feature/deprecate-collective-headers

Merged by Christoph GrüningerChristoph Grüninger 5 years ago (Dec 19, 2019 10:49pm UTC)

Loading

Pipeline #23088 passed

Stage: test

Pipeline passed for 2d911e53 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply