Bastien Fri, 22 May 2020 07:40:30 -0700
Hi Karl, I fixed this here: https://code.orgmode.org/bzg/org-mode/commit/ceb0ef95fb
Thanks for the report, -- Bastien