Hi Samuel and Nicolas, I allowed myself to fix this, with a somewhat smaller patch: http://orgmode.org/cgit.cgi/org-mode.git/commit/?h=maint&id=14ffe2
Thanks Samuel for the patch and for reporting this problem! -- Bastien
Hi Samuel and Nicolas, I allowed myself to fix this, with a somewhat smaller patch: http://orgmode.org/cgit.cgi/org-mode.git/commit/?h=maint&id=14ffe2
Thanks Samuel for the patch and for reporting this problem! -- Bastien