I just tried on master (commit 91d05f91e28d3614d8b5da707df2505d8564ecd3), the same crash still happens there. On 16 Feb 2019, 17:15 +0100, Open MPI Users <users@lists.open-mpi.org>, wrote: > > Probably not. I think this is now fixed. Might be worth trying master to > verify.
_______________________________________________ users mailing list users@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/users
