diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 06d164d372d..33f0e39f008 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5305,24 +5305,24 @@ ANY num_sync (