Subject: Re: [bug#66318] [PATCH 0/3] Add HELambdaP
From: Guillaume Le Vaillant <[email-masked]>
To: Gabriel Hondet <[email-masked]>
Cc: [email-masked]
Date: Tue, 10 Oct 2023 08:12:53 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as 1dbc630a3390d7232e26b4cfa3499b579b82e553 and
following (with some modifications and complete commit messages).
Thanks.