diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index a71ca624639..a14df06292b 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4114,7 +4114,7 @@ ANY num_sync (