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

Previous Next

Full log

View this message in rfc822 format

From: Baptiste Strazzulla <baptiste.strazzulla <at> protonmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 78305 <at> debbugs.gnu.org
Subject: bug#78305: [PATCH] Add a new user option to hide the header of old feeds in newsticker
Date: Tue, 29 Jul 2025 12:47:57 +0000

[Message part 1 (text/plain, inline)]

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.

Sorry

On Sunday, July 27th, 2025 at 7:09 AM, Eli Zaretskii <eliz <at> gnu.org> wrote:

> > Date: Sat, 26 Jul 2025 21:37:01 +0000
> > From: Baptiste Strazzulla baptiste.strazzulla <at> protonmail.com
> > Cc: 78305-done <at> debbugs.gnu.org
> > 
> > > Now installed on the master branch, and closing the bug.
> > 
> > I'm still not familiar with the email workflow but the patch contained two commits and I only see one on the master branch at the moment. Is it possible that you missed one?
> 
> 
> Looks like that, sorry. I added it now, but please note that it
> needed some followup fixes.

[0001-Fix-NEWS-entry-for-Newsticker.patch (application/octet-stream, attachment)]

Previous Next

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