Bastien Guerry <b...@gnu.org> writes: >> Should we remove it? > > Sure, please go ahead. Thanks!
Fixed, on master. https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=dda435773 (the link will be available after I push local changes to sr.ht; after it recovers from the ongoing DDOS) -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
