Subject: Re: bug#54874: [PATCH 4/5] gnu: python-vedo: Remove input labels.
From: Ludovic Courtès <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Fri, 06 May 2022 15:11:33 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Paul,

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

>   gnu: fenics-dolfin: Honor #:tests? flag.
>   gnu: fenics: Honor #:tests? flag.
>   gnu: fenics: Fix sanity check.
>   gnu: python-vedo: Honor #:tests? flag.
>   gnu: python-vedo: Remove input labels.
>   gnu: python-vedo: Disable sanity check.
>   gnu: python-vedo: Update to 2022.2.0.

Finally applied.  Thank you, and thanks Maxime for reviewing!

Ludo’.