Hello, On Mon, Jul 11, 2005 at 02:38:23PM +0200, Stepan Kasal wrote: > 2005-07-11 Bruno Haible <[EMAIL PROTECTED]> > and Stepan Kasal <[EMAIL PROTECTED]> > > * check-module: If more parameters are given, check each of them > separately; add more exceptions, as noted by Jim Meyering. > (check_module): New procedure. > (%exempt_header): Now contains all exceptions.
Jim has just committed this patch. Thanks. Stepan _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib