Subject: Re: [bug#56282] [PATCH 0/7] Update octave.
From: Guillaume Le Vaillant <[email-masked]>
To: Greg Hogan <[email-masked]>
Cc: [email-masked]
Date: Thu, 30 Jun 2022 09:25:40 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches pushed as 4eddce8ce9337fd4d8f4fd97b7d41ac3cef4e3f0 and
following.
Thanks.