Hello Jakub, Thanks for this series of patches! All have been applied. Cheers, Michael On 12/06/2015 07:47 PM, Jakub Wilk wrote: > There's no such thing as "Gnu Public License"; > GPL stands for "General Public License". > > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> > --- > man2/ioctl_list.2 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man2/ioctl_list.2 b/man2/ioctl_list.2 > index 7f4d914..0cca57e 100644 > --- a/man2/ioctl_list.2 > +++ b/man2/ioctl_list.2 > @@ -3,7 +3,7 @@ > .\" <mec@xxxxxxxxxxxxxxxxx> > .\" > .\" %%%LICENSE_START(GPLv2_MISC) > -.\" It is licensed under the Gnu Public License, Version 2. > +.\" It is licensed under the GNU General Public License, Version 2. > .\" %%%LICENSE_END > .\" > .\" Ioctl List 1.3.27 > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
