From a202f03ec4be79062c7dd3ae0fe7fa9f206f610a Mon Sep 17 00:00:00 2001 From: deraadt Date: Sat, 22 Apr 2017 17:47:21 +0000 Subject: [PATCH] sync --- distrib/sets/lists/man/mi | 1 + 1 file changed, 1 insertion(+) diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index dde6443fcaf..43428b786fd 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1871,6 +1871,7 @@ ./usr/share/man/man4/wdsc.4 ./usr/share/man/man4/we.4 ./usr/share/man/man4/wi.4 +./usr/share/man/man4/witness.4 ./usr/share/man/man4/wpi.4 ./usr/share/man/man4/wscons.4 ./usr/share/man/man4/wsdisplay.4 -- 2.20.1