Subject: Re: [PATCH]
From: Leo Prikler <[email-masked]>
To: Justin Veilleux <[email-masked]>, [email-masked]
Cc: terramorpha <[email-masked]>
Date: Thu, 15 Jul 2021 21:01:59 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

I've cleaned up the patch and pushed it.

Thanks,
Leo