diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 5aac7110b12..e1b353ed940 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5056,7 +5056,7 @@ ANY num_sync (