diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 924309af26..24acc4c5b5 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5271,8 +5271,8 @@ ANY num_sync (