[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: master ed2b0bd: New faces in xref (bug#23179)

From: Robert Pluim
Subject: Re: master ed2b0bd: New faces in xref (bug#23179)
Date: Mon, 15 Apr 2019 10:27:45 +0200

>>>>> On Sun, 14 Apr 2019 23:05:38 +0300, Juri Linkov <address@hidden> said:

    >> I think these new faces warrant at least an entry in NEWS and a
    >> mention in the manual.

    Juri> I see no other related faces (compilation/grep) mentioned
    Juri> neither in NEWS nor in the manual.

True. Thatʼs arguably a deficiency in the manual.

    Juri> But I could add new faces to NEWS if Eli decides to do so.

It would be a useful addition, I think.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]