Subject: Re: bug#58092: 29.0.50; [PATCH] Add log-edit-summary-separator face

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 26 Sep 2022 15:20:56 +0200

Protesilaos Stavrou <[email-masked]> writes:

> The named face allows users/themes to customise how this line is styled.
>
> What do you think?

Sounds good to me.

> +(defface log-edit-summary-separator '((t :height 0.1 :inverse-video t :extend t))

Minor nit pick: That's a too-long line.