diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 126c147fc6..eaf4dc9bd4 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5390,13 +5390,14 @@ ANY num_sync (