Subject: Re: bug#78305: [PATCH] Add a new user option to hide the header of old feeds in newsticker

From: Eli Zaretskii <[email-masked]>
Date: Wed, 30 Jul 2025 14:18:21 +0300

> Date: Tue, 29 Jul 2025 12:47:57 +0000
> From: Baptiste Strazzulla <[email-masked]>
> Cc: [email-masked]
> 
> Oulala, I just realized that I forgot to edit the NEWS entry when I renamed `newsticker-hide-old-feed-header-in-newsticker-buffer' to `newsticker-hide-old-feed'. There's still an occurrence of it there.
> 
> Here is a patch to fix that.

Thanks, but please in the future always mention the bug number (when
known) in the commit log message.