diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 5aea6cc2fe8..8edf8c88f03 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5907,24 +5907,24 @@ ANY num_sync (