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