This bug was fixed in the package openmpi - 4.0.3-0ubuntu1
---------------
openmpi (4.0.3-0ubuntu1) focal; urgency=medium
* New upstream release (LP: #1870780)
-- Graham Inggs <gin...@ubuntu.com> Wed, 15 Apr 2020 07:36:51 +0000
** Changed in: openmpi (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870780
Title:
Sync openmpi 4.0.3-1 (universe) from Debian unstable (main)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/openmpi/+bug/1870780/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
