Hi Ivan,

thanks for the explanations.  I applied your patch in maint with
commit 45ca597f9, adding a commit message to it.

See https://orgmode.org/worg/org-contribute.html#commit-messages

Thanks,

-- 
 Bastien

Reply via email to