On 11/9/18 9:25 AM, Jakub Wilk wrote: > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> Thanks, Jakub. Patch applied. Cheers, Michael > --- > man7/user_namespaces.7 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man7/user_namespaces.7 b/man7/user_namespaces.7 > index a8b65406c..e377e1bf0 100644 > --- a/man7/user_namespaces.7 > +++ b/man7/user_namespaces.7 > @@ -356,7 +356,7 @@ The > .BR NS_GET_USERNS > .BR ioctl (2) > operation can be used to discover the user namespace > -that owns a a nonuser namespace; see > +that owns a nonuser namespace; see > .BR ioctl_ns (2). > .\" > .\" ============================================================ > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/
