martin 29322348c5 Update to openmpi-4.0.2 ...

Changelog/Announcement:
https://www.mail-archive.com/announce@lists.open-mpi.org/msg00124.html

with help and input from David J. Raymond

OK jca@

2019-12-22 15:47:35 +00:00

..

DESCR

…

PLIST

…