From 9428bb9d8a694d2d365126c3d8af94f9ff9c5cfc Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Sun, 22 Aug 2021 23:47:32 +0200 Subject: [PATCH] mount_namespaces.7: tfix Signed-off-by: Michael Kerrisk --- man7/mount_namespaces.7 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man7/mount_namespaces.7 b/man7/mount_namespaces.7 index 67123a57c..1096cd130 100644 --- a/man7/mount_namespaces.7 +++ b/man7/mount_namespaces.7 @@ -176,7 +176,7 @@ A new peer group is also created when a child mount is created under an existing mount that is marked as shared. In this case, the new child mount is also marked as shared and the resulting peer group consists of all the mounts -that are replicated under the peers of parent mount. +that are replicated under the peers of parent mounts. .PP A mount ceases to be a member of a peer group when either the mount is explicitly unmounted,