Re: Bogus error about comment end is fixed

Great, thanks for letting me know!

Il 23 Mag 2017 12:59 AM, "Fuqiao Xue" <xfq.free@gmail.com> ha scritto:

> Hi all,
>
> Thanks for your report. The <!-- comment --> problem should be fixed now.
>

Received on Monday, 22 May 2017 23:51:53 UTC