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