[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 1/4] style: add missing copyright headers

From: Hans Åberg
Subject: Re: [PATCH 1/4] style: add missing copyright headers
Date: Sun, 20 Dec 2020 18:25:07 +0100

> On 20 Dec 2020, at 11:15, Akim Demaille <> wrote:
> Hi Hans,
> Long time no see!

I have to focus some difficult code to write. :-)

>> Le 19 déc. 2020 à 11:06, Hans Åberg <> a écrit :
>> Though by the nature of examples, you may not want to add a copyright notice 
>> on them: As special cases of something more general, they may not be 
>> sufficiently creatively unique to be copyrightable, and in addition, you may 
>> want people to use them without a worry of copyrighting.
> You have a point, but that discussion already took place and was settled down 
> with Paul.

I can't see the discussion on your link, but the recommendation is here [1]. In 
general, one should put license notices just in case, so that they are not 
treated as though being public domain, I think.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]