Re: [O] Radio targets with mixed capitalisation do not work in HTML export

[Nicolas Goaziou]

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

> It looks perfect.  I tested* the HTML and LaTeX backend and they do
> exactly what's expected.  Thanks a lot for putting this together!

Applied.

-- 
Nicolas Goaziou