Merge branch 'issue/fix_HAVE_MPI_Wundef_warning' into 'master' (!993) · Merge requests · Core Modules / dune-common · GitLab

Simon Praetorius requested to merge cherry-pick-688413e1 into releases/2.8 Aug 18, 2021

Fix HAVE_MPI undefined warnings (with -Wundef flag)

See merge request !992 (merged)

(cherry picked from commit 688413e1)

db5a2d3a Fix HAVE_MPI undefined warnings (with -Wundef flag)