Subject: Re: bug#78305: [PATCH] Add a new user option to hide the header of old feeds in newsticker
From: Eli Zaretskii <[email-masked]>
To: [email-masked], [email-masked]
Cc: [email-masked], [email-masked]
Date: Sat, 26 Jul 2025 12:02:23 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> Cc: [email-masked], [email-masked]
> Date: Thu, 17 Jul 2025 08:43:16 +0300
> From: Eli Zaretskii <[email-masked]>
> 
> > From: Ulf Jasper <[email-masked]>
> > Cc: Baptiste Strazzulla <[email-masked]>,
> >   [email-masked],  [email-masked]
> > 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?

Now installed on the master branch, and closing the bug.

Baptiste, please in the future avoid using Markdown-style quoting in
commit log messages, as our commit hooks reject such commits.  (This
time, I needed to manually tweak your patch to avoid the problem.)

Thanks.