Subject: bug#66317: Project mode-line

From: Dmitry Gutov <[email-masked]>
Date: Wed, 4 Oct 2023 17:34:09 +0300

On 04/10/2023 10:43, Eli Zaretskii wrote:
> Assuming Dmitry is OK with this implementation, this option should be
> in NEWS, I think.

LGTM, thanks. Aside from the other potential issue that you brought up.