Subject: Re: [PATCH v3 00/25] Add matterhorn package.
From: Ricardo Wurmus <[email-masked]>
To: Romain GARBAGE <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Tue, 23 Jul 2024 00:31:24 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

I modified some of the descriptions and fixed tests before pushing.

Thanks!

-- 
Ricardo