Subject: Re: [bug#38095] [PATCH] gnu: Add matcha-theme.
From: Ludovic Courtès <[email-masked]>
To: Leo Prikler <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sat, 09 Nov 2019 22:47:17 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Leo and Alexandros,

I changed the license to ‘gpl3+’ (was ‘gpl3’) because the package does
not mandate any specific version, and applied the patch.

Thanks to both of you for your work!

Ludo’.