diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index fc1752fb3f1..7059dd4e5f5 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3410,7 +3410,8 @@ ANY num_sync (