On 11/20/2017 11:44 PM, Jakub Wilk wrote: > Remove duplicated word. Thanks, Jakub. Patch applied. Cheers, Michael > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> > --- > man5/proc.5 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man5/proc.5 b/man5/proc.5 > index ab8d915cb..2de23b77b 100644 > --- a/man5/proc.5 > +++ b/man5/proc.5 > @@ -3177,7 +3177,7 @@ namespace (see > for which the > .I /proc > filesystem was mounted. > -(In the the initial PID namespace, > +(In the initial PID namespace, > there is no filtering of the records shown in this file.) > .IP > The > -- 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
