To address Raymond Muno's question:
"Any estimate on when OpenMPI 4.2 will be released?"
Howard and I are the release managers for v4.0.2. We expect to publish it tomorrow, assuming no show-stop bugs come up in testing this week.
---
Geoff
