Merge branch 'feature/mpiguard-fix-odr' into 'master' (!855) · Merge requests · Core Modules / dune-common · GitLab

Markus Blatt requested to merge cherry-pick-b86448a9-2 into releases/2.7 Sep 09, 2020

[MPI] fix violation of one-definition-rule in GuardCommunicator

See merge request !827 (merged)

(cherry picked from commit b86448a9)

ec4588d0 [MPI] fix violation of one-definition-rule in GuardCommunicator