Subject: Re: [bug#56282] [PATCH 0/7] Update octave.

From: Guillaume Le Vaillant <[email-masked]>
Date: Thu, 30 Jun 2022 09:25:40 +0000

Patches pushed as 4eddce8ce9337fd4d8f4fd97b7d41ac3cef4e3f0 and
following.
Thanks.