> On 11 Aug 2018, at 18:27, Akim Demaille <akim.demai...@gmail.com> wrote:
> 
>    doc: -fcaret is enabled by default

This type of reporting will not mark the relevant part properly if Unicode 
tokens "..." are used.



Reply via email to