Subject: [bug#33214] Patch Tracker no. 33214

From: Lakshmi Prasannakumar <[email-masked]>
Date: Wed, 31 Oct 2018 14:59:51 +0530

Hi Gábor,

I'm sending an email with the tracker no. cc-ing both of you. This is the
number I received from the bug tracker. Below is the link from the bug
tracker.
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33214

Do let me know if I need to commit again and create a patch file, as this
was the first time I committed, I'm not completely sure if it was right or
not.

Thanks,
Lakshmi Prasannakumar
Bangalore