Dear all, OpenMPI version 5.0.2 has been release about two months ago. It would be good to get a new version into the tree (primarily to test the fallout).
https://www.mail-archive.com/announce@lists.open-mpi.org/msg00168.html