Subject: Re: bug#56760: [PATCH 0/6] dealii: Update to 9.4.0 and its Trilinos to 13.4.0.
From: Ludovic Courtès <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked]
Date: Mon, 01 Aug 2022 17:22:25 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

"Paul A. Patience" <[email-masked]> skribis:

>   gnu: trilinos-for-dealii-openmpi: Fix build.
>   gnu: dealii: Use G-expressions.
>   gnu: dealii: Update to 9.4.0.
>   gnu: trilinos-for-dealii-openmpi: Remove input labels.
>   gnu: trilinos-for-dealii-openmpi: Use G-expressions.
>   gnu: trilinos-for-dealii-openmpi: Update to 13.4.0.

Pushed everything but the sixth patch, as you suggested.

Please resubmit it separately when it’s ready.

Thanks!

Ludo’.