Hi Bastien,
On Wed, Feb 12 2020, Bastien wrote:
this should be fixed in Org master branch, thanks for the detailed
report. If you can confirm the fix, even better.
By the way, I almost forgot, a small "side-report" on this.
In going to test this from master, I followed the instructions in the
manual (web version https://orgmode.org/manual/Installation.html) and
those instruct users to:
$ git clone g...@code.orgmode.org:bzg/org-mode.git
I tried it, but lacked the password...
Am I missing something, or wouldn't it be more appropriate
`https://code.orgmode.org/bzg/org-mode.git' in the manual?
Best,
Gustavo.
