[revert][CollectiveCommunication] Revert deprecation of CollectiveCommunication. (!1089) · Merge requests · Core Modules / dune-common

Robert K requested to merge bugfix/collectivecomm into master Feb 03, 2022

Revert deprecation of CollectiveCommunication until after this typedef is no longer used in dune-grid, see dune-grid!571 (merged).

Edited Feb 03, 2022 by Robert K

[revert][CollectiveCommunication] Revert deprecation of CollectiveCommunication.