diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index f3a5e82d8c..efc039b5d2 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5143,9 +5143,13 @@ ANY num_sync ( num_sync (