Merge pull request #214023 from hmenke/openmpi-libfabric
openmpi: fix for newer libfabric
authored by Weijia Wang and committed by GitHub 3 years ago 31968e86 c6fd9036