Skip to content

Move using directive inside HAVE_MPI environment.

Robert K requested to merge bugfix/duneci into master

Thanks to F. Schindler.

Merge request reports