You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I marked this as "minor" because although technically it's a bug in MPI conformance, this bug has been un-noticed -- for years -- in both Open MPI and MPICH. So it's definitely not too important.
But OTOH, it should be simple cherry-picks from master to v4.1.x. Hopefully, it's easy to do.