Forwarded PRs: openmpi5 #42

Manually merged
HPC merged 1 commits from PR_openmpi5#2 into master 2026-02-26 10:35:08 +01:00