Subject: Re: bug#73862: [PATCH] Add `header-line-active` and `header-line-inactive` faces.

From: Eli Zaretskii <[email-masked]>
Date: Sun, 05 Jan 2025 12:41:55 +0200

> From: Eshel Yaron <[email-masked]>
> Cc: Eli Zaretskii <[email-masked]>,  [email-masked],
>   [email-masked],  [email-masked],  [email-masked]
> Date: Sun, 05 Jan 2025 08:42:20 +0100
> 
> Aaron Jensen <[email-masked]> writes:
> 
> > On Sat, Jan 04, 2025 at 3:47 AM, Eli Zaretskii <[email-masked]> wrote:
> >
> >  No complaints, so are you okay with me installing the change on the master branch?
> >
> > No concerns from me. Thank you.
> 
> Same here.

Thanks, now installed on the master branch, and closing the bug.