Subject: Re: [bug#39213] [PATCH] gnu: Add regrader.
From: Efraim Flashner <[email-masked]>
To: Alexandros Theodotou <[email-masked]>
Cc: [email-masked]
Date: Wed, 26 Feb 2020 08:56:25 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Tue, Feb 25, 2020 at 03:43:28PM +0000, Alexandros Theodotou wrote:
> Hi,
> 
> Please close this. I added a patch series to 
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38689
> 
> Thanks,
> Alex

The process to close a bug report is to send an email to
[email-masked] (which I CC'd in this message). So now you
know for next time :)

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted