diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index e81141e45c..d7a7376798 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4503,15 +4503,16 @@ ANY num_sync (