Overview
Request 742472 accepted
- openmpi has been renamed into openmpi1
- Created by NMoreyChaisemartin
- In state accepted
-
Package maintainer:
badshah400
Loading...
Request History
NMoreyChaisemartin created request
- openmpi has been renamed into openmpi1
badshah400 accepted request
Great, thanks!
@badshah400: review reminder