Re: getopt copyright header

2017-10-06 Thread Bruno Haible
Paul Eggert wrote: > Thanks, looks good to me. OK, I've pushed it. Zack Weinberg wrote: > Sorry about that. glibc's default copyright headers refer to the > library as a whole as being under the LGPL and it didn't occur to me > to check whether the gnulib policy is different. Sure, the handling

Re: getopt copyright header

2017-10-06 Thread Zack Weinberg
Sorry about that. glibc's default copyright headers refer to the library as a whole as being under the LGPL and it didn't occur to me to check whether the gnulib policy is different. On Fri, Oct 6, 2017 at 2:30 PM, Paul Eggert wrote: > Thanks, looks good to me.

Re: getopt copyright header

2017-10-06 Thread Paul Eggert
Thanks, looks good to me.