Commit 06dc9f2d authored by Christophe Geuzaine's avatar Christophe Geuzaine

Merge branch 'fix_mpi_ddm' into 'master'

Small fix for MPI to work with ddm See merge request !27
parents e9f9ef2e 9ef3ac73
Pipeline #1024 passed with stage
in 9 minutes 18 seconds