Am 31.10.19 um 15:59 schrieb Martin Reindl: > Hello, > > The attached diff updates devel/openmpi to the current stable release 4.0.2. > Changelog can be found here: > https://raw.githubusercontent.com/open-mpi/ompi/v4.0.x/NEWS > Tested on amd64 and arm64. > > Most noteably this update fixes problems reported by David Raymond off-list.
Ping.
