Re: FYI: master: doc: -fcaret is enabled by default

[Hans Åberg]

> 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.