On 08/09/2018 09:16 PM, Jakub Wilk wrote:
Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx>
Thanks, Jakub. Patch applied. Cheers, Michael
--- man7/namespaces.7 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man7/namespaces.7 b/man7/namespaces.7 index 0bcb45c2d..5fc09b533 100644 --- a/man7/namespaces.7 +++ b/man7/namespaces.7 @@ -448,7 +448,7 @@ filesystem (see .BR mq_overview (7)) refers to this namespace. .IP * -It is an PID namespace, and a corresponding mount of a +It is a PID namespace, and a corresponding mount of a .BR proc (5) filesystem refers to this namespace. .SH EXAMPLE