Bastien Fri, 07 Feb 2020 22:56:55 -0800
Hi Seth, I applied your change on the maint branch: https://code.orgmode.org/bzg/org-mode/commit/7e4e34db
Thanks! -- Bastien