Re: feedmail.el in the public domain?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Fri, 14 Sep 2018 10:44:01 -0400
> 
> I see that feedmail.el's header says:
> 
>     ;; This file is in the public domain.
> 
> and doesn't contain that usual GPLv3+ blurb (and link to the FSF).
> 
> While the file may have been in the public domain when we got it, lots
> of people have worked on it since according to the `git log`, so I think
> this should be changed.
> Any objection?

We've been through this, you should be able to find the relevant
discussions in the archives.  This file is in public domain and cannot
be changed to anything else, AFAIR.