Subject: Re: [bug#77927] [PATCH v3 0/4] Fix cross compilation
From: Guillaume Le Vaillant <[email-masked]>
To: Rutherther <[email-masked]>
Cc: [email-masked]
Date: Mon, 21 Apr 2025 10:04:19 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as 95ccd0ca005ac02125110664308fed1c0278f981 and
following with a few minor cosmetic fixes.
Thanks.