Subject: Re: [bug#74546] [PATCH 0/3] Updating Open MPI and its dependencies

From: Ludovic Courtès <[email-masked]>
Date: Sun, 01 Dec 2024 18:01:00 +0100

Ludovic Courtès <[email-masked]> skribis:

>   gnu: ucx: Update to 1.17.0.
>   gnu: rdma-core: Update to 54.0.
>   gnu: openmpi@5: Update to 5.0.6.

Pushed as 15647355e5e7a67a7d4b372cf34b20e3710fe25d following a
discussion with Efraim on IRC.

Ludo’.