Subject: Re: [bug#71788] [PATCH] gnu: hwloc: Update to 2.11.1.
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Cc: Philippe SWARTVAGHER <[email-masked]>
Date: Thu, 18 Jul 2024 17:41:29 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

> From: Ludovic Courtès <[email-masked]>
>
> * gnu/packages/mpi.scm (hwloc-2): Update to 2.11.1.
> [native-inputs]: Add BASH.
>
> Co-authored-by: Philippe SWARTVAGHER <[email-masked]>
> Change-Id: If5531cb82911833153b0e795e9f20b0d0ae940c2

After some additional testing, and with qa.guix being overwhelmed these
days, I went ahead and pushed it as
fcd3c5d3aa2894218f357d69f7a307ebc3b318bc.

Thanks,
Ludo’.