diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 1c7e9eadbb1..9ca9d9c27c7 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4744,9 +4744,13 @@ ANY num_sync ( num_sync (