Commit 9541ac31 authored Aug 17, 2018 by Andreas Klöckner

Merge branch 'revert-e69fe85d' into 'master'

Use mpi4py.run in spawned MPI subprocessess

See merge request inducer/grudge!24