Skip to content
Unverified Commit 071988a6 authored by Joachim F's avatar Joachim F Committed by GitHub
Browse files

Merge pull request #34580 from markuskowa/openmpi-fix-dso-pr 

openmpi: fix broken modules, disable dsos
parents 4692a2d0 5e12d763
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment