Subject: Re: [bug#72873] [PATCH 0/4] scilab: Update to 2024.1.0.
From: Ludovic Courtès <[email-masked]>
To: Nicolas Graves <[email-masked]>
Cc: [email-masked]
Date: Fri, 04 Oct 2024 21:28:47 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Nicolas Graves <[email-masked]> skribis:

> This patch series includes an update and a few improvements to the
> scilab building process.
>
> Nicolas Graves (4):
>   gnu: scilab: Update to 2024.1.0.
>   gnu: scilab: Cleanup more files.
>   gnu: scilab: Fix the scilab build script.
>   gnu: scilab: Add sanity-check phase.

Finally applied, thanks!

Will push as soon as Savannah is in a better shape.

Ludo’.