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 of copyright headers in gnulib is not something I would have expected you to know about. No problem. Bruno
