Merge branch 'use-more-mpicommunicator' into 'master'
Use Communication<MPI_Comm> instead of using MPI directly
See merge request !519 (merged)
(cherry picked from commit 19da71d7)
4673a317 Use Communication<MPI_Comm> instead of using MPI directly