Merge branch 'feature/yasp-rename-communicationtype-communication' into 'master' (!608) · Merge requests · Core Modules / dune-grid · GitLab

Timo Koch requested to merge cherry-pick-5b20b29a into releases/2.9 Sep 20, 2022

[yasp] Rename CommunicationType (introduced in...

See merge request !604 (merged)

(cherry picked from commit 5b20b29a)

6aa05e94 [yasp] Rename CommunicationType (introduced in...