diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index fc63172efd..bd5835df9a 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4517,9 +4517,12 @@ ANY num_sync (