Hello,

Bastien <b...@gnu.org> writes:

> Bug confirmed and fixed in maint, with a dummy fix:
>
> Nicolas, do you see another way around this?

Well, not really. But it looks like a bug on the "listings" side, not
the Org one. If we add a workaround in Org core, it may stay here
forever, even after the bug is fixed upstream. I think the OP should
first ask "listings" maintainer about it.


Regards,

-- 
Nicolas Goaziou

Reply via email to