Jonathan Gregory <j...@autistici.org> writes: >> If so, we can merge the patch. > > This is done. The patch was merged in e4c0281d2.
Confirm. I somehow missed it. -- 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>
