Skip to content

collection communication headers

Some headers regarding collective communication are deprecated in dune-common. This MR replaces these with the renamed includes.

Merge request reports