Skip to content
Unverified Commit 4448d040 authored by Orivej Desh (NixOS)'s avatar Orivej Desh (NixOS) Committed by GitHub
Browse files

Merge pull request #58757 from markuskowa/upd-openmpi 

openmpi: 4.0.0 -> 4.0.1
parents f0df3f13 3b08f26e
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