diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index b1d2a9500e9..32ee79e0fa7 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5752,24 +5752,24 @@ ANY num_sync (