Eli Zaretskii <e...@gnu.org> writes: > Bastien, please tell me whether you want me to make this change in the > Emacs repository, or wait for you to do it in the Org mode repo and > then merge to Emacs.
Please make this change in the Emacs repository. Thanks, -- Bastien