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 #41 received at 78305 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: baptiste.strazzulla <at> protonmail.com, Ulf Jasper <ulf.jasper <at> web.de>
Cc: rpluim <at> gmail.com, 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: Thu, 17 Jul 2025 08:43:16 +0300

> From: Ulf Jasper <ulf.jasper <at> web.de>
> Cc: Baptiste Strazzulla <baptiste.strazzulla <at> protonmail.com>,
>   rpluim <at> gmail.com,  78305 <at> debbugs.gnu.org
> Date: Wed, 16 Jul 2025 11:18:20 +0200
> 
> Am 29.06.2025 um 19:31 (+0200) schrieb Ulf Jasper:
> > Am 28.06.2025 um 11:51 (+0300) schrieb Eli Zaretskii:
> >> Ping!  Ulf, are these patches okay to install?
> > I am on vacation right now.  Will look at the patches in two weeks or
> > so.  Sorry!
> 
> Patches are OK to install.

Thanks.

Baptiste, we are therefore waiting for your copyright-assignment
paperwork to complete.  What is its status, as of now?

Previous Next

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