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: Wed, 30 Jul 2025 11:21:03 +0000

Sent with Proton Mail secure email.
Understood

On Wednesday, July 30th, 2025 at 1:18 PM, Eli Zaretskii <eliz <at> gnu.org> wrote:

> > 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.