diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 47b12c6a8f4..886632ff439 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -4209,7 +4209,8 @@ ANY num_sync (