Subject: Re: [PATCH] New "posix" automake option.
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 6 Oct 2023 16:40:32 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed your patch (and added a tiny test case). Thanks Vincent!
Closing this bug (finally ...). -k