Openmpi 4.1.5 bug fix release (23-02-2023): https://www.mail-archive.com/announce@lists.open-mpi.org/msg00155.html Reproducible: Always
commit 22d5fcdaead56f0720fae3279881790c9e17cd1a Author: David Seifert <soap@gentoo.org> Date: Sun Sep 10 22:33:23 2023 +0200 sys-cluster/openmpi: add 4.1.5 Signed-off-by: David Seifert <soap@gentoo.org>