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

[Bastien]

Nicolas Goaziou <n.goaz...@gmail.com> writes:

> OK, let's try it. Time will tell.
>
> Installed in 1c1936fbb1f0c42e5c7e1d3c903626aa5993a357.

Thanks,

-- 
 Bastien