diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index eac0051d0d4..87f11849955 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5424,24 +5424,24 @@ ANY num_sync (