Emmanuel --
Looks like the right people missed this when you posted; sorry about that!
We're tracking it now: https://github.com/open-mpi/ompi/issues/6976
On Sep 13, 2019, at 3:04 AM, Emmanuel Thomé via users
mailto:users@lists.open-mpi.org>> wrote:
Hi,
Thanks Jeff for your reply, and sorry
Hi,
Thanks Jeff for your reply, and sorry for this late follow-up...
On Sun, Aug 11, 2019 at 02:27:53PM -0700, Jeff Hammond wrote:
> > openmpi-4.0.1 gives essentially the same results (similar files
> > attached), but with various doubts on my part as to whether I've run this
> > check correctly.
