Subject: Re: [bug#46198] [PATCH] Update puri
From: Guillaume Le Vaillant <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Sun, 31 Jan 2021 10:32:22 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

I fixed the home-page URL and pushed the patch as
e05a36a823261c5d779bf0818804ccdf30693590.
Thanks.