[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.
Robert
- Re: master ed2b0bd: New faces in xref (bug#23179), Robert Pluim, 2019/04/14
- Re: master ed2b0bd: New faces in xref (bug#23179), Juri Linkov, 2019/04/14
- Re: master ed2b0bd: New faces in xref (bug#23179),
Robert Pluim <=
- Re: master ed2b0bd: New faces in xref (bug#23179), Eli Zaretskii, 2019/04/15
- Re: master ed2b0bd: New faces in xref (bug#23179), Robert Pluim, 2019/04/16
- Re: master ed2b0bd: New faces in xref (bug#23179), Eli Zaretskii, 2019/04/16
- Re: master ed2b0bd: New faces in xref (bug#23179), Robert Pluim, 2019/04/16
- Re: master ed2b0bd: New faces in xref (bug#23179), Eli Zaretskii, 2019/04/16
- Re: master ed2b0bd: New faces in xref (bug#23179), Robert Pluim, 2019/04/16