Merge branch 'bugfix/duneci' into 'master' (!100) · Merge requests · extensions / dune-alugrid

Robert K requested to merge cherry-pick-1c04dbb7 into releases/2.7 Aug 17, 2020

Move using directive inside HAVE_MPI environment.

See merge request !99 (merged)

(cherry picked from commit 1c04dbb7)

a56e0241 [bugfix][Zoltan] Move using directive inside HAVE_MPI environment (kudos F. Schindler).

Merge branch 'bugfix/duneci' into 'master'