Subject: Re: [bug#52403] [PATCH] gnu: Add optionmatrix.
From: Guillaume Le Vaillant <[email-masked]>
To: Foo Chuan Wei <[email-masked]>
Cc: [email-masked]
Date: Sat, 11 Dec 2021 13:39:02 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 58dbf4c930e26a6d813ed6cc30fb5ca67ad7c21f.
Thanks.