diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index b51826dc68..ac1cf471f2 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3495,7 +3495,7 @@ ANY num_sync ( ), running manually, increasing the value of the