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