pythonPackages.mpi4py: add patch for openmpi-4.0.0 compatibility
Markus Kowalewski 7 years ago 10e5cfd5 4aa90ac0