Forwarded PRs: mvapich3 #18

Manually merged
HPC merged 1 commits from PR_mvapich3#1 into master 2025-11-09 10:09:37 +01:00