GNU bug report logs - #78305
[PATCH] Add a new user option to hide the header of old feeds in newsticker

Previous Next

Full log

Message #64 received at 78305 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Baptiste Strazzulla <baptiste.strazzulla <at> protonmail.com>
Cc: 78305 <at> debbugs.gnu.org
Subject: Re: bug#78305: [PATCH] Add a new user option to hide the header of
 old feeds in newsticker
Date: Wed, 30 Jul 2025 14:18:21 +0300

> Date: Tue, 29 Jul 2025 12:47:57 +0000
> From: Baptiste Strazzulla <baptiste.strazzulla <at> protonmail.com>
> Cc: 78305 <at> debbugs.gnu.org
> 
> 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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.