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

[Akim Demaille]

Hi Hans,

Long time no see!

> Le 19 déc. 2020 à 11:06, Hans Åberg <haberg-1@telia.com> 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.

https://lists.gnu.org/archive/html/bison-patches/2020-07/msg00010.html

Cheers!