Subject: Re: [PATCH 2/3] Add r-gistr
From: Ricardo Wurmus <[email-masked]>
To: "[email-masked]" <[email-masked]>
Cc: [email-masked]
Date: Tue, 30 Nov 2021 16:46:30 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thank you for the patch!

I’ve pushed this to the “master” branch.

-- 
Ricardo