Subject: bug#61567: 30.0.50; Define display-time-time-and-date-indicator face

From: Robert Pluim <[email-masked]>
Date: Fri, 17 Feb 2023 13:30:52 +0100

>>>>> On Fri, 17 Feb 2023 13:33:12 +0200, Protesilaos Stavrou <[email-masked]> said:
    Protesilaos> Okay.  Any thoughts on renaming the face to 'display-time-face'?  Maybe
    Protesilaos> some other name is better?

Iʼm bad at naming at the best of times. 'display-time-face' sounds
fine to me (or even 'display-time' if we obey the edict in the elisp
manual).

Robert
--