David Runge pushed new tag 4.1.5-4 at Arch Linux / Packaging / Packages / openmpi
-- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/openmpi/-/tree/4.1.5-4 You're receiving this email because of your account on gitlab.archlinux.org.
