Re: [O] Possible bug with coderef highlighting in HTML export

[Nicolas Goaziou]

Hello,

Thibault Marin <thibault.ma...@gmx.com> writes:

> Hi the attach patch fixes the issue for me.  Please let me know if you
> have any suggestions.

It looks good. Applied. Thank you.

Regards,

-- 
Nicolas Goaziou