Subject: bug#78305: [PATCH] Add a new user option to hide the header of old feeds in newsticker

From: Eli Zaretskii <[email-masked]>
Date: Thu, 17 Jul 2025 08:43:16 +0300

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