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 #49 received at 78305-done <at> debbugs.gnu.org (full text, mbox):
> Cc: rpluim <at> gmail.com, 78305 <at> debbugs.gnu.org
> Date: Thu, 17 Jul 2025 08:43:16 +0300
> From: Eli Zaretskii <eliz <at> gnu.org>
>
> > 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?
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.
This bug report was last modified 10 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.