Hi,

Vikas Kumar writes:
> Here is a patch with the fix.
Thank you for the patch.

I'm just adding the [PATCH] cookie, so that this shows up on
https://updates.orgmode.org/.

A maintainer will eventually get back to you, but it may take a while
(couple of months at most).

Regards,

--
Sébastien Miquel