summary refs log tree commit diff
path: root/gnu/packages/patches/openmpi-mtl-priorities.patch
AgeCommit message (Expand)Author
2019-11-29gnu: openmpi: Increase priority of the PSM component.Ludovic Courtès