Thank you so much!
On Sat, Dec 28, 2019, at 12:22 PM, Thomas Fitzsimmons wrote:
> Hi,
>
> Thomas Fitzsimmons writes:
>
> [...]
>
> > Justin confirmed the attached patch fixes the problem for him. Can an
> > Org mode maintainer review it?
>
> I also reported this upstream to the Org maintainer
Hi,
Thomas Fitzsimmons writes:
[...]
> Justin confirmed the attached patch fixes the problem for him. Can an
> Org mode maintainer review it?
I also reported this upstream to the Org maintainers and they accepted
the fix. Org 9.3.1, which contains the fix, has been released. You can
install
