diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index c7c90d20e8e..f6a7bd53838 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3962,7 +3962,8 @@ ANY num_sync (