diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 3ef99e2ee08..e8c5d2a3b7f 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5374,9 +5374,13 @@ ANY num_sync ( num_sync (