Subject: Re: bug#54610: [PATCH] gnu: openmpi: Update to 4.1.2
From: Ludovic Courtès <[email-masked]>
To: Philippe SWARTVAGHER <[email-masked]>
Cc: [email-masked]
Date: Tue, 29 Mar 2022 11:48:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Philippe SWARTVAGHER <[email-masked]> skribis:

> * gnu/packages/mpi.scm (openmpi): Update to 4.1.2

Applied, thanks!

I’ll look at the ‘guix refresh openmpi’ issue soonish.

Ludo’.