I talked about this PR on the webex today:

    https://github.com/open-mpi/ompi/pull/8431

Comments / feedback would be welcome.

Unless I hear objections, I plan to merge this on master COB tomorrow (10 Feb 
2021).

Thanks!

-- 
Jeff Squyres
jsquy...@cisco.com

Reply via email to