diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 1adbba7f8f4..ae8c3c6dd6f 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5278,13 +5278,14 @@ ANY num_sync (