I talked about this PR on the webex today:
https://github.com/open-mpi/ompi/pull/8431Comments / feedback would be welcome. Unless I hear objections, I plan to merge this on master COB tomorrow (10 Feb 2021). Thanks! -- Jeff Squyres [email protected]
