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
XXXXX-done@debbugs.gnu.org (which I CC'd in this message). So now you
know for next time :)



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